Software engineering Adaptive control systems Adaptive systems Animation Architecture Architecture models Behavior analysis Behaviour models Building systems Composition of services Computer software reusability Concurrent interactions Controller synthesis Controllers Engineers Formal Semantics Formal methods Goal-oriented requirements engineering Graceful degradation In-buildings Information services Labeled transition systems Labelled transition systems Level model Mathematical models Mechanical support Method integration Middleware Middleware components Model checking