The ATCo work shift scheduling problem dealing with incidents in a tactical phase | IEEE Conference Publication | IEEE Xplore