Stavros Tripakis Claudio Pinello Albert Benveniste Alberto L. Sangiovanni-Vincentelli Paul Caspi Marco Di Natale Implementing Synchronous Models on Loosely Time Triggered Architectures. 1300-1314 2008 57 IEEE Trans. Computers 10 http://dx.doi.org/10.1109/TC.2008.81 db/journals/tc/tc57.html#TripakisPBSCN08