Applying software patterns to requirements engineering for avionics systems | IEEE Conference Publication | IEEE Xplore