この資料をSMS送信: Reactive systems : modelling, specification and verification / Luca Aceto [and others].