Prof. Koopman's list[1] of embedded system lecture notes and presentations includes a companion YouTube video[2] about the case study.

[1] https://users.ece.cmu.edu/~koopman/lectures/index.html

[2] https://youtu.be/DKHa7rxkvK8