Xuandong Li, Johan Lilius. Checking compositions of UML sequence diagrams for timing inconsistency. In 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 5-8 December 2000, Singapore. pages 154-161, IEEE Computer Society, 2000. [doi]
Abstract is missing.