Inferring operational requirements from scenarios and goal models using inductive learning