Temporal reasoning technology for AEOS scheduling
LIAN Zhen-yu，TAN Yue-jin，YAN Zhen-zhen
Journal of Systems Engineering and Electronics . 2013, (6): 1206 -1211 .  DOI: 10.3969/j.issn.1001-506X.2013.06.13