Case study: safety analysis of the NASA/Boeing fly-by-light airplane using a new reliability tool | IEEE Conference Publication | IEEE Xplore