Model Checking and Artificial Intelligence 5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008 : revised selected and invited papers / - Peled, Doron A.,; Wooldrige, Michael J. (Springer,)