The book
Principles of Model Checking (MIT Press, 2008) by C. Baier and J.-P. Katoen is widely recognized as a standard text on model checking. A number of lecturers will make use of material from this book.
Additionally, a number of lectures will make use of material from other sources. This is indicated below in the program.