John C. Knight, Darrell M. Kienzle. Preliminary Experience Using Z to Specify a Safety-Critical System. In Jonathan P. Bowen, J. E. Nicholls, editors, Z User Workshop, London, UK, 14-15 December 1992, Proceedings. Workshops in Computing, pages 109-118, Springer, 1992.
Abstract is missing.