References Holzmann, G.J:Design and Validation of Computer ProtocolsPrentice-Hall, 1991ISBN 0-13-539834-7