Barbosa R de M, CostA AC da R, Tedesco PC de AR, Mota AC. Usando CSP, RSL e o Modelo PopOrg na Especificação Formal de Organizações de SMAs. RITA [Internet]. 2011 Mar. 28 [cited 2025 Aug. 11];17(3):389-411. Available from: https://seer.ufrgs.br/index.php/rita/article/view/rita_v17_n3_p389