Proving Real-time Properties of Programs with Temporal Logic (1981)

by A Bernstein, P K Harter
Venue:In Proc. of 8th annual ACM Symposium on Operating Systems Principles