Text this: Distributed systems analysis with CCS