H. Veith: "History of Model Checking"; Keynote Lecture: Clarke Symposium 2014: Celebrating 25 Years of Model Checking, Pittsburgh, PA, USA (invited); 2014-09-19 - 2014-09-20.