Modelling the Motion of an Elevator. R&E-SOURCE 2014, 1.