Text this: Mathematical techniques for analyzing concurrent and probabilistic systems /