SDL : formal object-oriented language for communicating systems - Ellsberger, Jan. (Prentice-Hall, 1997)