Specification, Implementation, and Verification of Communication Services on the Basis of CIL