Abdoulaye Gamatié Thierry Gautier Synchronous Modeling of Avionics Applications using the SIGNAL Languag. 144-151 2003 conf/rtas/2003 IEEE Real Time Technology and Applications Symposium http://doi.ieeecomputersociety.org/10.1109/RTTAS.2003.1203046 db/conf/rtas/rtas2003.html#GamatieG03