David Harel Shahar Maoz Assert and negate revisited: modal semantics for UML sequence diagrams. 13-20 2006 conf/scesm/2006 SCESM http://doi.acm.org/10.1145/1138953.1138958 db/conf/scesm/scesm2006.html#HarelM06