Paul Pop Petru Eles Zebo Peng Traian Pop Analysis and optimization of distributed real-time embedded systems. 593-625 2006 11 ACM Trans. Design Autom. Electr. Syst. 3 http://doi.acm.org/10.1145/1142980.1142984 db/journals/todaes/todaes11.html#PopEPP06