NetStack: A Game Approach to Synthesizing Consistent Network Updates | IEEE Conference Publication | IEEE Xplore