The logical control of an elevator. - Derek N. Dyck; Peter E. Caines (IEEE Trans. Autom. Control., 1995)