Title: Verifying a CSMA/CD protocol with CCS