Joel Blasquez Marten van Hulst Andrea Fedeli Jean-Luc Lambert Dominique Borrione Coby Hanoch Pierre Bricaud Formal Verification Techniques: Industrial Status and Perspectives. 1050 2002 conf/date/2002 DATE http://doi.ieeecomputersociety.org/10.1109/DATE.2002.998430 db/conf/date/date2002.html#BlasquezHFLBHB02