Van Chan Ngo Jean-Pierre Talpin Thierry Gautier Translation Validation for Synchronous Data-Flow Specification in the SIGNAL Compiler. 66-80 2015 FORTE https://doi.org/10.1007/978-3-319-19195-9_5 conf/forte/2015 db/conf/forte/forte2015.html#NgoTG15