JADE: An Embedded Systems Specification, Code Generation and Optimization Tool. - C. L. Pereira; Diogenes C. da Silva Júnior; R. G. Duarte; Antônio Otávio Fernandes; L. H. Canaan; Claudionor José Nunes Coelho Jr.; L. L. Ambrosio (SBCCI, 2000)