Meta-modelling approach to traceability for avionics: a framework for managing the engineering of computer based aerospace systems | IEEE Conference Publication | IEEE Xplore