Modeling of avionic display system for civil aircraft based on AADL | IEEE Conference Publication | IEEE Xplore