Text this: Formal methods for protocol engineering and distributed systems :