Statistics of Heterogeneous models and analyses in the design of real-time embedded systems - an avionic case-study