Preliminary Results of a Case Study: Model Checking for Advanced Automotive Applications. - Stefan Eisler; Christian Scheidler; Bernhard Josko; Guido Sandmann; Joachim Stroop (FM, 2005)