1. Amyot, D. and Eberlein, A.: An Evaluation of Scenario Notations for Telecommunication Systems Development. To appear in: Telecommunication Systems Journal, 2003.
2. Amyot, D.: Specification and Validation of Telecommunications Systems with Use Case Maps and LOTOS. Ph.D. thesis, SITE, Univ. of Ottawa, Canada, 2002.
3. Amyot, D. and Mussbacher, G.: On the Extension of UML with Use Case Maps Concepts. “UML”2000, 3rd International Conference on the Unified Modeling Language, York, UK, October 2000.
4. Amyot, D., Buhr, R. J. A., Gray, T., and Logrippo, L.: Use Case Maps for the Capture and Validation of Distributed Systems Requirements. RE’99, Fourth IEEE Int. Symp. on Requirements Eng., Limerick, Ireland, June 1999, 44–53.
5. Andrade, R.: Applying Use Case Maps and Formal Methods to the Development of Wireless Mobile ATM Networks. Lfm2000, The Fifth NASA Langley Formal Methods Workshop, Williamsburg, VA, USA, 2000.