1. Model Checking of Message Sequence Charts
2. E. P.Andersen. Conceptual modeling of objects: a role modeling approach. Ph.D. dissertation Universitetet i Oslo Oslo Norway 1997.
3. A scenario based notation for specifying temporal properties
4. R.Boldt. Model‐driven architecture embedded developers and Telelogic Rhapsody.http://www.telelogic.com/download/get_file.cfm?id=4890 Oct.2008. Accessed Nov. 28 2008.
5. Y.BontempsandP.Heymans.Turning high‐level live sequence charts into automata. InICSE Workshop on Scenarios and State‐Machines: Models Algorithms and Tools(SCESM'02 Proceedings) Orlando FL 2002.