Formal Verification Techniques: Industrial Status and Perspectives. - Joel Blasquez; Marten van Hulst; Andrea Fedeli; Jean-Luc Lambert; Dominique Borrione; Coby Hanoch; Pierre Bricaud (DATE, 2002)