Automatic synthesis of equipment recipes from specified wafer-state transitions | IEEE Journals & Magazine | IEEE Xplore