BARBOSA, Raquel de Miranda; COSTA, Antônio Carlos da Rocha; TEDESCO, Patrícia Cabral de Azevedo R.; MOTA, Alexandre Cabral. Usando CSP, RSL e o Modelo PopOrg na Especificação Formal de Organizações de SMAs. Revista de Informática Teórica e Aplicada, [S. l.], v. 17, n. 3, p. 389–411, 2011. DOI: 10.22456/2175-2745.16413. Disponível em: https://seer.ufrgs.br/index.php/rita/article/view/rita_v17_n3_p389. Acesso em: 11 aug. 2025.