Design of divergence-free protocol converters using supervisory control techniques | IEEE Conference Publication | IEEE Xplore