Naiqi Wu, Chengbin Chu, Feng Chu, MengChu Zhou: Schedulability Analysis of Short-Term Scheduling for Crude Oil Operations in Refinery With Oil Residency Time and Charging-Tank-Switch-Overlap Constraints. IEEE Trans Autom. Sci. Eng. 8(1): 190-204 (2011)