A CASE tool for the synthesis of optimal control implementation of Grafcet | IEEE Conference Publication | IEEE Xplore