Model-based avionic systems testing for the airbus family | IEEE Conference Publication | IEEE Xplore