An environment for specification, design, operation, maintenance, and revision of manufacturing control systems | IET Conference Publication | IEEE Xplore