An overview of formal verification for the time-triggered architecture. inria-00000561, version 1 - 27 Aug 2007 (2002)

by J Rushby
Venue:In Proceedings of Formal Techniques in Real-Time and Fault-Tolerant Systems