Operational policies for the management of critical resources in production facilities | IEEE Conference Publication | IEEE Xplore