Safe Automotive Software. - Karl Heckemann; Manuel Gesell; Thomas Pfister; Karsten Berns; Klaus Schneider 001; Mario Trapp (KES (4), 2011)