Yunming Wang, Jean-Pierre Talpin, Albert Benveniste, Paul Le Guernic. A Semantics of UML State-Machines Using Synchronous Pre-Order Transition Systems. In 3rd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), 15-17 March 2000, Newport Beach, CA, USA. pages 96-103, IEEE Computer Society, 2000. [doi]
Abstract is missing.