Tools and Methods for Validation and Verification as requested by ISO26262. - Markus Gebhardt; Axel Kaske (Softwaretechnik-Trends, 2011)