This title is devoted to presenting some of the most important concepts and techniques for describing real-time systems and analyzing their behavior in order to

The research described in this monograph concerns the formal specification and compositional verification of real-time systems. A real-time programminglanguage

Formal verification means having a mathematical model of a system, a language for specifying desired properties of the system in a concise, comprehensible and u

Offering comprehensive coverage of the convergence of real-time embedded systems scheduling, resource access control, software design and development, and high-

This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network - formed as a network established un