Alastair R. Ruddle. Formal Methods in the Specification of Real-Time, Safety-Critical Control Systems. In Jonathan P. Bowen, J. E. Nicholls, editors, Z User Workshop, London, UK, 14-15 December 1992, Proceedings. Workshops in Computing, pages 131-146, Springer, 1992.
Abstract is missing.