Lenguaje de Especificación para el Framework Tropos. - Alicia Martínez 001; Carmen Velasco; Eliel Morales; Hugo Estrada 001; Luis A. Gama (WER, 2010)