Text this: Formal techniques for networked and distributed systems-- FORTE 2004 :