Aircraft safety modeling for time-limited dispatch | IEEE Conference Publication | IEEE Xplore