AnáLISE Formal de Modelos de Software Orientada por Abstrações Arquiteturais. - Marcelo Fagundes Felix (2004)