Constraint satisfaction based resource conflicts detection and resolution in collaborative mission planning
LI Yuan, PENG Hui, SHEN Lin-cheng
Journal of Systems Engineering and Electronics . 2009, (4): 868 -873 .