Barbosa, Raquel de Miranda, Antônio Carlos da Rocha CostA, Patrícia Cabral de Azevedo R. Tedesco, and Alexandre Cabral Mota. “Usando CSP, RSL E O Modelo PopOrg Na Especificação Formal De Organizações De SMAs”. Revista de Informática Teórica e Aplicada 17, no. 3 (March 28, 2011): 389–411. Accessed August 11, 2025. https://seer.ufrgs.br/index.php/rita/article/view/rita_v17_n3_p389.