Paul Baker Paul Bristow Clive Jervis David J. King Robert Thomson Bill Mitchell Simon Burton Detecting and resolving semantic pathologies in UML sequence diagrams. 50-59 2005 conf/sigsoft/2005 ESEC/SIGSOFT FSE http://doi.acm.org/10.1145/1081706.1081716 db/conf/sigsoft/fse2005.html#BakerBJKTMB05