Model Checking And Artificial Intelligence: 4th Workshop, Mochart Iv, Riva Del Garda, Italy, August 29, 2006, Revised Selected And Invited Papers