Trace specification of communications protocols (software engineering, formal specification)