Modal Transition Systems 18 Behaviour models 12 Labelled transition systems 6 Mathematical models 6 Semantics 6 Specifications 6 Artificial intelligence 4 Computer software 4 Flowcharting 4 MTS 4 Merge 4 Partial behavior models 4 Requirements specifications 4 Scenario-based specifications 4 Scenarios 4 Software engineering 4 Specification languages 4 Synthesis 4 Algorithms 2 Automata theory 2 Automata-based formalisms 2 Automated support 2 Behavior model 2 Case-based approach 2 Case-based approaches 2 Complexity class 2 Component based systems 2 Component implementations 2 Component interfaces 2 Component levels 2