Time Optimal Synthesis Based Upon Sequential Abstraction and Its Application to Cluster Tools | IEEE Journals & Magazine | IEEE Xplore