Model Checking in an Industrial Environment. - Eva Fordran; Matthias Fruth; Ulrich Hensel; Hu Shaoyu; Madabhushi Srinivasan (MBMV, 2003)