Using Formal Description Techniques : An Introduction to ESTELLE, LOTOS and SDL - Turner, Kenneth J. ((Wiley Series in Communication and Distributed Systems))