Modeling and verification of real-time software using extended linear hybrid automata (2000)

by S Vestal
Venue:Proc Fifth NASA Langley Formal Methods Workshop