Text this: Modeling and analysis of communicating systems /