David A. Basin Stefan Friedrich Sebastian Mödersheim B2M: A Semantic Based Tool for BLIF Hardware Descriptions. 91-107 http://dx.doi.org/10.1007/3-540-40922-X_7 2000 conf/fmcad/2000 FMCAD db/conf/fmcad/fmcad2000.html#BasinFM00