1. Abadi M. and Lamport L. (1994) An Old-Fashioned Recipe for Real Time. ACM Transactions on Programming Languages and Systems, 16, 1543–71.
2. Back R.J.R. (1989) A Method of Refining Atomicity in Parallel Algorithms, in Odijk E., Rem M. and Syre J.-C. (Eds.) Proc. Parallel Architectures and Languages Europe (PARLE’89). Lecture Notes in Computer Science 366, Springer-Verlag, New York.
3. de Boer F.S., Tej H., de Roever W.-P. and van Hulst M. (1996) Compositionality in Real-Time Shared Variable Concurrency, in Jonsson B. and Parrow J. (Eds.) Proc. Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT’96). Lecture Notes in Computer Science 1135, Springer-Verlag, New York.
4. Boom H.J. (1982) A Weaker Precondition for Loops. ACM Transactions on Programming Languages and Systems, 4, 668–77.
5. Broy M. (1997) Refinement of Time, in Bertran M. and Rus T. (Eds.) Proc. Transformation-Based Reactive System Development (ARTS’97), Lecture Notes in Computer Science 1231, Springer-Verlag, New York.