A semantics of UML state-machines using synchronous pre-order transition systems | IEEE Conference Publication | IEEE Xplore