Principles of Model Checking - Chistel Baier (Massachusetts Institute of Technology, 2008)