Үүнийг мессежээр илгээх: Dependability verification for contextual/runtime goal modelling