A Study on Airborne Software Safety Requirements Patterns | IEEE Conference Publication | IEEE Xplore