A review of conflict detection and resolution modeling methods | IEEE Journals & Magazine | IEEE Xplore