An approach to safety verification of object-oriented design specification for an elevator control system | IEEE Conference Publication | IEEE Xplore