Abstract state machines : a method for high-level system design and analysis - Borger, E. (Egon) , 1946-.; Stark, Robert F 1963- (Springer, 2003)