Efficient real-time scheduling of integrated equipment in semiconductor fabrication | IEEE Conference Publication | IEEE Xplore