Modal Transition Systems Behaviour models 12 Labelled transition systems 6 Mathematical models 6 Semantics 6 Specifications 6 Artificial intelligence 4 Computer software 4 Flowcharting 4 MTS 4 Scenario-based specifications 4 Scenarios 4 Software engineering 4 Specification languages 4 Algorithms 2 Automata theory 2 Automata-based formalisms 2 Automated support 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 Componentwise 2 Computer science 2 Controller synthesis 2 Controllers 2 Current limitation 2