Towards an accurate reliability, availability and maintainability analysis approach for satellite systems based on probabilistic model checking | IEEE Conference Publication | IEEE Xplore