Model checking abstract state machines - Winter, Kirsten. (VDM Verlag Dr. Muller, 2008)