1. ITU-T: Recommendation Z.120: Message Sequence Chart (MSC) (2004)
2. Object Management Group: UML 2.2 Superstructure Specification, formal/09-02-02 (2009),
http://www.omg.org/docs/formal/09-02-02.pdf
3. Nguyen, M.D., Waeselynck, H., Rivière, N.: Testing Mobile Computing Applications: Toward a Scenario Language and Tools. In: Int. Workshop on Dynamic Analysis (WODA 2008), pp. 29–35 (2008)
4. Nguyen, M.D., Waeselynck, H., Rivière, N.: GraphSeq: a Graph Matching Tool for the Extraction of Mobility Patterns. In: 3rd IEEE Int. Conf. on Software Testing, Verification and Validation (ICST 2010). IEEE CS Press, Paris (2010)
5. Waeselynck, H., et al.: Refined Design and Testing Framework, Methodology and Application Results, Hidenets D5.3 (2008),
http://www.hidenets.aau.dk/Public+Deliverables