Julien Soula Philippe Marquet Alain Demeure Jean-Luc Dekeyser Compilation Principle of a Specification Language Dedicated to Signal Processing. 358-370 2001 conf/pact/2001 PaCT http://link.springer.de/link/service/series/0558/bibs/2127/21270358.htm db/conf/pact/pact2001.html#SoulaMDD01