Truong Nghiem George J. Pappas Rajeev Alur Antoine Girard Time-triggered implementations of dynamic controllers. 2-11 2006 conf/emsoft/2006 EMSOFT http://doi.acm.org/10.1145/1176887.1176890 db/conf/emsoft/emsoft2006.html#NghiemPAG06