Formal Modelling and Analysis of Embedded Systems

Focusing on formal modelling, analysis, and verification techniques for real-time embedded systems. In particular, formal syntax and semantics of component based and service oriented models with extra-functional properties such as time or resources.