1. S. Atkinson and D. Scholefield. Transformational vs reactive refinement in real-time systems. Information Processing Letters, 55:201–210, 1995.
2. E. J. Billington, D. Donovan, B. D. Jones, S. Oates-Williams, and A. Street. Discrete Mathematics: Logic and Structures. Longman, 1990.
3. J. G. Bollinger and N. A. Duffie. Computer Control of Machines and Processes. Addison-Wesley, 1988.
4. S. M. Brien, M. Engel, He Jifeng, A. Ravn, and H. Rischel. Z description of duration calculus. Draft, Oxford University Computing Laboratory, August 1993.
5. K. Duddy, L. Everett, C. Millerchip, B. Mahony, and I. J. Hayes. Z-based notation for the specification of timing properties. Draft, Department of Computer Science, University of Queensland, June 1995.