Comparative Case Studies of Reactive Synthesis and Supervisory Control | IEEE Conference Publication | IEEE Xplore