Model-Based Quality Assurance of Automotive Software. - Jan Jürjens; Daniel Reiß; David Trachtenherz (MoDELS, 2008)