SDL: Formal Object-Oriented Language for Communicating Systems (2nd Edition)