Integrating UML and Formal Methods. - Rafael Magalhães Borges; Alexandre Cabral Mota (SBMF, 2005)