أرسل هذا في رسالة قصيرة: Dependability verification for contextual/runtime goal modelling