Formal verification methods: getting around the brick wall. - David L. Dill; Nate James; Shishpal Rawat; Gérard Berry; Limor Fix; Harry Foster; Rajeev K. Ranjan 001; Gunnar Stålmarck; Curt Widdoes (DAC, 2002)