Principles of protocol engineering and conformance testing - Sarikaya, Behcet (Horwood, 1993)