Abstracting 4 Behaviour models 4 Code understanding 4 Computer software 4 Emergent behaviours 4 Finite-state abstraction 4 Global representation 4 Global view 4 Infinite state 4 Modular reasoning 4 Synthesis techniques 4 behaviour models 4 code understanding 4 contract conformance 4 Animation 2 Artificial intelligence 2 Component framework 2 Computer science 2 Computers 2 Infinite state systems 2 New components 2 Reachability 2 Reconfigurable 2 Software connectors 2