Julio Ariel Hurtado Alegria, María Cecilia Bastarrica, Alexandre Bergel. Analyzing software process models with AVISPA. In David Raffo, Dietmar Pfahl, Li Zhang, editors, International Conference on Software and Systems Process, ICSSP 2011, Honolulu, HI, USA, May 21-22, 2011, Proceedings. pages 23-32, ACM, 2011. [doi]