Extração automática de modelos CSP a partir de casos de uso - ARAÚJO, Renata Bezerra e Silva de (2014)
Dissertação Mestrado em Ciência da Computação