State transition assertions: a case study (1994)

by Michael J. C. Gordon
Venue:JONATHAN P. BOWEN (EDITOR), TOWARDS VERIFIED SYSTEMS, REAL-TIME SAFETY CRITICAL SYSTEMS SERIES