Barbosa, R. de M. et al. 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 (Mar. 2011), 389–411. DOI:https://doi.org/10.22456/2175-2745.16413.