Ye Zhou Edward A. Lee A causality interface for deadlock analysis in dataflow. 44-52 2006 conf/emsoft/2006 EMSOFT http://doi.acm.org/10.1145/1176887.1176895 db/conf/emsoft/emsoft2006.html#ZhouL06