Paul Caspi Norman Scaife Christos Sofronis Stavros Tripakis Semantics-preserving multitask implementation of synchronous programs. 2008 7 ACM Trans. Embedded Comput. Syst. 2 http://doi.acm.org/10.1145/1331331.1331339 db/journals/tecs/tecs7.html#CaspiSST08