How to visualize transition equations Model specifications