Verifying a CSMA/CD protocol with CCS | lit.salon