IEE Tutorial Colloquium on Formal Methods and Notations Applicable to Telecommunications (IET,)