Incremental synthesis of switching protocols via abstraction refinement | IEEE Conference Publication | IEEE Xplore