R. de M. Barbosa, A. C. da R. CostA, P. C. de A. R. Tedesco, and A. C. Mota, “Usando CSP, RSL e o Modelo PopOrg na Especificação Formal de Organizações de SMAs”, RITA, vol. 17, no. 3, pp. 389–411, Mar. 2011.