EECS 20 Lecture 36 (April 23, 2001) Tom Henzinger Safety Control.
EECS 20 Lecture 37 (April 25, 2001) Tom Henzinger Progress Control.