Implementation of a model lift control system from a formal specification. - J. P. Mocek; John Alexander McDermid (Softw. Eng. J., 1987)