Vivek G. Naik;A. Prasad Sistla
-;-
Dual Flow Nets: Modeling the control/data-flow relation in embedded systems
ACM Transactions on Embedded Computing Systems (TECS)