Text this: Models and analysis in distributed systems /