JUnit_FloorButtonsInElevator
Validation_FloorButtonsInElevator
ElevatorSpecification
JUnit_FloorButtonsInElevator.test_presses_cancels()