Distributed Computing Assignment - 1: Modelling and verification of an Elevator System in the Spin model checker Paper Presentation and report: Use of Logical Physical Clocks in distributed systems