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

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