1. ITU-T: New draft Recommendation Z.152: URN - Use Case Map Notation (UCM). Temporary Document 3201, 27 April, ITU-T Study Group 17 (2006)
2. Lecture Notes in Computer Science;J. Hassine,2005
3. Amyot, D.: Formalization of timethreads using LOTOS. Master’s thesis, University of Ottawa, Ottawa, Ontario, Canada (1994)
4. Amyot, D., Logrippo, L., Buhr, R.J.A., Gray, T.: Use case maps for the capture and validation of distributed systems requirements. In: RE 1999. Fourth IEEE International Symposium on Requirements Engineering, pp. 44–53. IEEE Computer Society Press, Los Alamitos (1999)
5. Clarke, J.E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)