Modelling requirements for mission success prediction