Francine Bacchini Gabe Moretti Harry Foster Janick Bergeron Masayuki Nakamura Shrenik Mehta Laurent Ducousso Is methodology the highway out of verification hell? 521-522 2005 conf/dac/2005 DAC http://doi.acm.org/10.1145/1065579.1065714 db/conf/dac/dac2005.html#BacchiniMFBNMD05