An integrated safety-analysis methodology for emerging air-transport technologies | IEEE Conference Publication | IEEE Xplore