Abstract: Experience with Practical Formal Verification at an Industrial Scale - Melham, T (Department of Computer Science‚ University of Liverpool, 2003)