Modelling and Design of a Finite State Machine Based Elevator Control System for Efficient Vertical Transportation | IEEE Conference Publication | IEEE Xplore