Jean-Paul Etienne Samia Bouzefrane A Typed Compositional Language for Real-Time Systems. 63-72 2007 conf/hase/2007 HASE http://doi.ieeecomputersociety.org/10.1109/HASE.2007.14 db/conf/hase/hase2007.html#EtienneB07