Integrating model-based formal timing analysis in the industrial development process of satellite on-board software | IEEE Conference Publication | IEEE Xplore