Modular model-based supervisory controller design for wafer logistics in lithography machines | IEEE Conference Publication | IEEE Xplore