A case study of Toyota unintended acceleration and software safety (2014) [pdf] https://course.ece.cmu.edu/~ece642/lectures/10_koopman_public_toyota_talk.pdf