FOCUS: an experimental environment for validation of fault-tolerant systems - case study of a jet-engine controller. - Gwan Choi; Ravi K. Iyer; Victor Carreno (ICCD, 1989)

Transition assertions: a higher-order logic based method for the specification and verification of real-time systems - Victor Carreno (1997)