New Challenges In Model Checking.pdf [Free Download!]