Desenvolvimento de sistemas TINA utilizando a linguagem de especificação formal SDL com geração automatica de codigo Java - Guimarães, Rafael Paoliello (2001)
Orientador : Walter da Cunha Borelli