Formal description techniques and protocol specification Testing and verification - Togashi A (London Chapman and Hall, 1997)