Model Checking in an Industrial Environment - Hensel, U; Fordran, E; Fruth, M; Shaoyu, H; Srinivasan, M (Shaker−Verlag, 2003)