25 Years of Model Checking 2008