Merz S., Navet N. (Eds.) Modeling and Verification of Real-time Systems: Formalisms and Software Tools

ISTE Ltd and John Wiley & Sons, Inc., 2008. – 395 p. – ISBN: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 enable the designer to achieve guarantees of temporal correctness.
From the Contents
Time Petri Nets – Analysis Methods and Verification with TINA
Validation of Reactive Systems by Means of Verification and Conformance Testing
An Introduction to Model Checking
Model Checking Timed Automata
Specification and Analysis of Asynchronous Systems using CADP
Synchronous Program Verification with Lustre/Lesar
Synchronous Functional Programming with Lucid Synchrone
Verification of Real-Time Probabilistic Systems
Verification of Probabilistic Systems Methods and Tools
Modeling and Verification of Real-Time Systems using the IF Toolset
Architecture Description Languages: An Introduction to the SAE AADL