Design Methodology of Control System with Mutual Exclusion | IEEE Conference Publication | IEEE Xplore