Aircrew manpower supply modeling under change: An agent-based discrete event simulation approach | IEEE Conference Publication | IEEE Xplore