Anfonwch hwn fel neges destun: Dependability verification for contextual/runtime goal modelling