Specification and verification of the Service Specific Connection Oriented Protocol