Barbosa, R. de M., CostA, A. C. da R., Tedesco, P. C. de A. R., & Mota, A. C. (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