Shobha Vasudevan Jacob A. Abraham Static program transformations for efficient software model checking. 257-282 2004 conf/ifip/2004bis IFIP Congress Topical Sessions db/conf/ifip/ifip2004bis.html#VasudevanA04