David Zaretsky Gaurav Mittal Robert P. Dick Prith Banerjee Generation of Control and Data Flow Graphs from Scheduled and Pipelined Assembly Code. 76-90 2005 conf/lcpc/2005 LCPC http://dx.doi.org/10.1007/978-3-540-69330-7_6 db/conf/lcpc/lcpc2005.html#ZaretskyMDB05