Anna-Lena Lamprecht Tiziana Margaria Bernhard Steffen Data-Flow Analysis as Model Checking Within the jABC. 101-104 2006 conf/cc/2006 CC http://dx.doi.org/10.1007/11688839_9 db/conf/cc/cc2006.html#LamprechtMS06