Developing safety cases for integrated flight systems | IEEE Conference Publication | IEEE Xplore