Checking compositions of UML sequence diagrams for timing inconsistency.

Xuandong Li, Johan Lilius

Browse the full APSEC paper archive.