Assert and negate revisited: Modal semantics for uml sequence diagrams,” (2008)

by D Harel, S Maoz
Venue:Software and Systems Modeling (SoSyM),