Text this: Model Checking Systems with Replicated Components using CSP