Barbosa, R. de M. (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), pp. 389–411. doi: 10.22456/2175-2745.16413.