Model-based evaluation of avionics maintenance and logistics processes | IEEE Conference Publication | IEEE Xplore