ork was supported by the European Research Council Start Grant 279307 Graph Games (to K.C.), Austrian Science Fund (FWF) Gram P23499-N23 (to K.C.), FWF Nationale Forschungsnetzerke Grant S110074123 Rigorous Systems Engineering/Systematic Methods in Systems Engineering (to K.C.), Office of Naval Research Gran