1. Bowles, J.K.F.: Decomposing interactions. In: 11th International Conference on Algebraic Methodology and Software Technology (AMAST 2006), pp. 189–203. Springer, New York (2006). doi: 10.1007/11784180
2. Broy, M., Cengarle, M., Grönniger, H., Rumpe, B.: Modular description of a comprehensive semantics model for the UML (Version 2.0). Technical report 2008-06, Carl-Friedrich-Gauß-Fakultät, Technische Universität Braunschweig (2008)
3. Cavarra, A., Filipe, J.K.: Combining Sequence Diagrams and OCL for liveness. In: Proceedings of Semantic Foundations of Engineering Design Languages (SFEDL), ETAPS 2004. Barcelona, Spain (2004)
4. Cavarra A., Filipe J.K.: Formalizing liveness-enriched Sequence Diagrams using ASMs. In: Zimmermann, W., Thalheim, B. (eds) Abstract State Machines, pp. 62–77. Springer, New York (2004)
5. Cengarle, M.: System model for UML–the interactions case. In: Methods for Modelling Software Systems (MMOSS), number 06351 in Dagstuhl Seminar Proceedings, Dagstuhl, Germany, 2007. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany