Syed Suhaib Deepak Mathaikutty Sandeep K. Shukla David Berner Extreme Formal Modeling (XFM) for Hardware Models. 30-35 2004 conf/mtv/2004 MTV http://doi.ieeecomputersociety.org/10.1109/MTV.2004.8 db/conf/mtv/mtv2004.html#SuhaibMSB04