この資料をSMS送信: Formal techniques for networked and distributed systems