I went through part of this while working on some liveness analysis. The lecturer and the notes do a good job of conveying ideas.

Well worth using as a resource.