Modeling and formal verification of dataflow graph in system-level design using Petri net. - Tsung-Hsi Chiang; Lan-Rong Dung; Ming-Feng Yaung (ISCAS (6), 2005)