1. Object Management Group: Unified Modeling Language: Superstructure, version 2.0. (2005) http://www.omg.org/cgi-bin/doc?formal/05-07-04 (06/07/18)
2. International Telecommunication Union: Message Sequence Chart (MSC). ITU-T Recommendation Z.120, ITU-T, Geneva (2004)
3. Cengarle, M.V., Knapp, A.: UML 2.0 Interactions: Semantics and Refinement. In: Jürjens, J., Fernandez, E.B., France, R., Rumpe, B. (eds.) Proc. 3rd Int. Wsh. Critical Systems Development with UML (CSDUML’04), Technical Report TUM-I0415, pp. 85–99. Institut für Informatik, Technische Universität München (2004)
4. Runde, R.K., Haugen, Ø., Stølen, K.: Refining UML Interactions with Underspecification and Nondeterminism. Nordic J. Comp. 12(2), 157–188 (2005)
5. Hugo/RT website: http://www.pst.ifi.lmu.de/projekte/hugo (06/07/18) (2000)