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