A Set of Rules for Production of Design Models Compliant with Standards DO-178C and DO-331 | IEEE Conference Publication | IEEE Xplore