An integrated system safety model of the national airspace system | IEEE Conference Publication | IEEE Xplore