1. Bontemps, Y., Heymans, P.: Turning high-level sequence charts into automata. In: Proceedings of the 1st international workshop on scenarios and state machines (SCESM’02), at the 24th international conference on software engineering (ICSE’02) (2002)
2. Booch G., Rumbaugh J. and Jacobson I. (2005). The unified modeling language user guide. Addison Wesley, Reading
3. Bunker A., Gopalakrishnan G. and Slind K. (2005). Live sequence charts applied to hardware requirements specification and verification: a VCI bus interface model. Software Tools Technol. Trans. 7(4): 341–350
4. Cavarra A. and Filipe J.K. (2005). Combining sequence diagrams and OCL for liveness. Electr. Notes Theor. Comput. Sci. 115: 19–38
5. Cengarle, M., Knapp, A.: UML 2.0 Interactions: semantics and refinement. In: Jürjens, J., Fernández, E.B., France, R., Rumpe, B. (eds.) 3rd International workshop on critical systems development with UML (CSDUML’04), pp. 85–99 (2004)