A colored Petri net-based formal method for the design of control systems | IEEE Conference Publication | IEEE Xplore