Barbosa, Raquel de Miranda, et al. “Usando CSP, RSL E O Modelo PopOrg Na Especificação Formal De Organizações De SMAs”. Revista De Informática Teórica E Aplicada, vol. 17, no. 3, Mar. 2011, pp. 389-11, doi:10.22456/2175-2745.16413.