1. Amyot, D., Logrippo, L., and Buhr, R.J.A. (1997) “Spécification et conception de systèmes communicants: une approche rigoureuse basée sur des scénarios d’usage”. In: G. Leduc (Ed.), CFIP
97, Ingénierie des protocoles, Liège. Hermès, 159–174.
2. Amyot, D., Buhr, R.J.A., Gray, T., and Logrippo, L. (1999) “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.
3. Amyot, D. and Logrippo, L. (2000) “Use Case Maps and LOTOS for the Prototyping and Validation of a Mobile Group Call System”. In: Computer Communications,23(12), 1135–1157.
http://www.UseCaseMaps.org/UseCaseMaps/pub/cc99.pdf
4. Amyot, D., Charfi, L., Gorse, N., Gray, T., Logrippo, L., Sincennes, J., Stepien, B., and Ware, T. (2000) “Feature description and feature interaction analysis with Use Case Maps and LOTOS”. In: Sixth International Workshop on Feature Interactions in Telecommunications and Software Systems (FIW’00), Glasgow, Scotland, UK, May 2000, 274–289.
5. Brinksma, E. (1988) `A theory for the derivation of tests“. In: S. Aggarwal and K. Sabnani (Eds), Protocol Specification, Testing and Verification VIII, North-Holland, 63–74.