Using formal description techniques : an introduction to estelle, lotos and SDL - Turner, Kenneth J. (John Wiley & Sons, Inc, 1993)