Text this: Modeling and analysis of CSP systems /