Behavior Modeling

• Code Specifications
• State Automata
• Hierarchical State Automata
• Mode Automata