この資料をSMS送信: Computer-aided modeling of reactive systems