Software engineering Adaptive Systems Adaptive control systems Adaptive systems Analytical theory Automata theory Automatic approaches Controller Synthesis Controller synthesis Controllers Design Distributed systems Fixed-priority scheduling Formal verifications Model checking Model checking tools Operating environment Runtimes Scheduling Scheduling analysis Self adaptation Timing requirements User need