Using formal description techniques: an introduction to Estelle,LOTOS, and SDL - Turner, Kenneth J. (Wiley series in communication and distributed systems, 1993)