Automatic synthesis of equipment recipes from specified wafer-state transitions | IEEE Conference Publication | IEEE Xplore