Joel Blasquez, Marten van Hulst, Andrea Fedeli, Jean-Luc Lambert, Dominique Borrione, Coby Hanoch, Pierre Bricaud. Formal Verification Techniques: Industrial Status and Perspectives. In 2002 Design, Automation and Test in Europe Conference and Exposition (DATE 2002), 4-8 March 2002, Paris, France. pages 1050-1051, IEEE Computer Society, 2002. [doi]