7. FTRTFT 2002:
: Applications of Formal Methods in Biology.
John M. Rushby
: An Overview of Formal Verification for the Time-Triggered Architecture.
: Scheduler Modeling Based on the Controller Synthesis Paradigm.
Verification and Conformance Testing
: A Method for Testing the Conformance of Real Time Systems.
UML Models and Model Checking