Title: Putting time into proof outlines
First published: 1991
Subjects: Real-time programming, Verification, Computer programs