Atanas Rountev Component-Level Dataflow Analysis. 82-89 2005 conf/cbse/2005 CBSE http://dx.doi.org/10.1007/11424529_6 db/conf/cbse/cbse2005.html#Rountev05