Joel Blasquez Marten van Hulst Andrea Fedeli Jean-Luc Lambert Dominique Borrione Coby Hanoch Pierre Bricaud Formal Verification Techniques: Industrial Status and Perspectives. 1050-1051 2002 conf/date/2002 DATE http://csdl.computer.org/comp/proceedings/date/2002/1471/00/14711050.pdf db/conf/date/date2002.html#BlasquezHFLBHB02