Safety-critical automotive systems (Society of Automotive Engineers, 2006)