Paul Baker, Paul Bristow, Clive Jervis, David J. King, Robert Thomson, Bill Mitchell, Simon Burton. Detecting and resolving semantic pathologies in UML sequence diagrams. In Michel Wermelinger, Harald Gall, editors, Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005, Lisbon, Portugal, September 5-9, 2005. pages 50-59, ACM, 2005. [doi]
Abstract is missing.