interfaces
Interfaces 
ClockSpecification
ControllerForElevator
ElevatorForController
ElevatorForUsers
ElevatorSpecification