Proving real time properties of programs with temporal logic (1981)

by Arthur Bernstein, Paul K Harter
Venue:In Proceedings of the Eighth Symposium on Operating Systems Principles,pages 1–11