Title: Principles of Protocol Engineering and Conformance Testing