Barbosa, Raquel de Miranda, Antônio Carlos da Rocha CostA, Patrícia Cabral de Azevedo R. Tedesco, and Alexandre Cabral Mota. 2011. “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 (3):389-411. https://doi.org/10.22456/2175-2745.16413.