Barbosa, R. de M.; CostA, A. C. da R.; Tedesco, P. C. de A. R.; Mota, A. C. Usando CSP, RSL E O Modelo PopOrg Na Especificação Formal De Organizações De SMAs. RITA 2011, 17, 389-411.