Mauricio Varea Bashir M. Al-Hashimi Luis Alejandro Cortés Petru Eles Zebo Peng Dual Flow Nets: Modeling the control/data-flow relation in embedded systems. 54-81 2006 5 ACM Trans. Embedded Comput. Syst. 1 http://doi.acm.org/10.1145/1132357.1132360 db/journals/tecs/tecs5.html#VareaACEP06