José Luis Fernández Alemán, José Ambrosio Toval Álvarez. Modelado formal y ejecutabilidad de diagramas de clases de UML. In Pere Botella, Juan Hernández, Fèlix Saltor, editors, IV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 99), Cáceres, del 24 al 26 de noviembre de 1999. pages 283-294, Grupo de Paralelismo, Departamento de Informática, Escuela Politécnia, Universidad de Extremadura, 1999.