Modelling operator control work across traffic management domains: implications for interaction design | Synapse