この資料をSMS送信: Dependability verification for contextual/runtime goal modelling