Safety critical embedded systems design: the SACRES approach (1998)

by A Benveniste
Venue:In Formal Techniques in Real-Time and Fault Tolerant systems, FTRTFT’98