71WsUPdrGHL._AC_UF1000,,Principles of Model Checking (Mit Press): 9780262026499,Principles of Model Checking (Mit Press): 9780262026499,Principles of Model Checking by Baier, Christel, Katoen,Board Awareness in Platform Designer Part 1: End User Flow,