1. Aho, A., Gallagher, S., Griffeth, N., Scheel, C. and Swayne, D.: “Sculptor with Chisel: Requirements Engineering for Communications Services”. In: Fifth International Workshop on Feature Interactions in Telecommunications and Software Systems (FIW’98), Lund, Sweden, October 1998. IOS Press, Amsterdam, 45–63.
2. Amyot, D., Andrade, R., Logrippo, L., Sincennes, J., and Yi, Z.: “Formal methods for mobility standards”. In: Proc. of the 1999 IEEE Emerging Technologies Symposium on Wireless Communications and Systems, Richardson, Texas, USA, April 1999.
3. Amyot, D. and Andrade, R.: “Description of Wireless Intelligent Network Services with Use Case Maps”. In: SBRC’99, 17th Brazilian Symposium on Computer Networks, Salvador, Brazil, May 1999.
4. Amyot, D., Buhr, R. J. A., Gray, T., and Logrippo, L.: “Use Case Maps for the Capture and Validation of Distributed Systems Requirements”. In: RE’99, Fourth IEEE International Symposium on Requirements Engineering, Limerick, Ireland, June 1999, 44–53.
5. Amyot, D. and Logrippo, L.: “Use Case Maps and Lotos for the Prototyping and Validation of a Mobile Group Call System”. In: Computer Communication, 23(12), 1135–1157, May 2000.