Multiple-Time Reentrant Processes Optimization of Robotic Dual-Arm Cluster Tools With Cleaning Operations | IEEE Journals & Magazine | IEEE Xplore