Modeling and analysis of repair and maintenance processes in Fault Tolerant Systems | IEEE Conference Publication | IEEE Xplore