Jörg Bormann Jörg Lohse Michael Payer Gerd Venzl Model Checking in Industrial Hardware Design. 298-303 1995 DAC http://doi.acm.org/10.1145/217474.217545 db/conf/dac/dac95.html#BormannLPV95