An old-fashioned recipe for real time (1994)

by Mart́ın Abadi, Leslie Lamport
Venue:ACM Transactions on Programming Languages and Systems