Design and validation of computer protocols - Holzmann, Gerard J. (Prentice Hall software series, 1991)