Proving Real-Time Properties of Programs with Temporal Logic.

Arthur J. Bernstein, Paul K. Harter Jr.

Browse the full SOSP paper archive.