principles of model checking course in 2013