Formal methods for UML - Beato M; Barrio-Solórzano M; Cuesta C; De La Fuente P (Modern Formal Methods And Applications, 2006)