Model Checking and Artificial Intelligence - Edelkamp, Stefan (Springer Berlin Heidelberg, 2007)