Bing Yan, Hsin Yuan Chen, Peter B. Luh, Simon Wang, Joey Chang: Optimization-based litho machine scheduling with load balancing and reticle expiration. CASE 2012: 575-580