Software engineering Automata theory Ciencias Informáticas Real time systems Specifications Timed automata Abstracting Computer software Model checking Behaviour models Controller synthesis Mathematical models Semantics Specification languages Adaptive control systems Adaptive systems Algorithms Controllers Data structures Design Timed Automata Verification Behavioral properties Computer aided software engineering Distributed computer systems Distributed timed model checking Embedded systems Level of abstraction Memory requirements Modal Transition Systems