Lima, Gleydson, Anamaria Martins Moreira, David Déharbe, David Pereira, Demostenes Sena, and Jorgiano Vidal. " FERUS: Um Ambiente de Desenvolvimento de Especificações CASL." Anais do XVI Simpósio Brasileiro de Engenharia de Software, Gramado/RS, 2002. SBC, 2002, pp.396-401.