“Sí­ntese de Software Adaptativo baseada em Especificações, Extended Dataflow - DOI: 10.4025/actascitechnol.v27i2.1458”, Acta Sci. Technol., vol. 27, nº 2, p. 143–154, mar. 2008, doi: 10.4025/actascitechnol.v27i2.1458.