1. Formal support for design techniques: a Timethreads-Lotos approach;Amyot,1995
2. D. Amyot, L. Logrippo, R.J.A. Buhr, Spécification et conception de systèmes communicants: une approche rigoureuse basée sur des scénarios d'usage, in: CFIP 97, Ingénierie des protocoles, Liège, Belgique, September 1997 http://www.csi.uottawa.ca/~damyot/cfip97/cfip97.pdf.
3. D. Amyot, R. Andrade, L. Logrippo, J. Sincennes, Z. Yi, Formal methods for mobility standards. IEEE 1999 Emerging Technology Symposium on Wireless Communications & Systems, Dallas, USA, April 1999 http://www.UseCaseMaps.org/pub/ets.99.pdf.
4. D. Amyot, R. Andrade, Description of Wireless Intelligent Network services with Use Case Maps, in: SBRC ‘99, 17th Brazilian Symposium on Computer Networks, Salvador, Brazil, May 1999 http://www.UseCaseMaps.org/pub/sbrc99.pdf.
5. D. Amyot, R.J.A. Buhr, T. Gray, L. Logrippo, 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, pp. 44–53 http://www.UseCaseMaps.org/pub/re99.pdf.