Yan Jin Robert Esser Charles Lakos Lightweight Consistency Analysis of Dataflow Process Networks. 291-300 2003 conf/acsc/2003 ACSC http://crpit.com/confpapers/CRPITV16Jin.pdf db/conf/acsc/acsc2003.html#JinEL03