High-level Formal Modeling and Analysis of Real-Time and Hybrid Systems
The functionality of many modern advanced computer systems -- such as,
e.g., wireless sensor networks, the Internet and other kinds of
networks, and control systems -- is crucially dependent on the amount of
time that passes during/between events. Furthe rmore, such advanced and
often critical s...