Case Study of Toyota Unintended Acceleration and Software Safety [pdf]users.ece.cmu.edu2 pointsgeorgecmu12 years ago