MDACD: A Model-Driven Development Method for Avionics Software Components | IEEE Conference Publication | IEEE Xplore