A formal semantics of UML sequence diagram | IEEE Conference Publication | IEEE Xplore