Modeling and synthesis of DES supervisory control for coordinating ULTC and SVC | IEEE Conference Publication | IEEE Xplore