The group develops new methods, techniques and tools for the design, verification and implementation of real-time computer systems, in particular in the domain of safety-critical embedded systems.