Semi-Markov Modelling for Multi-state Systems | IEEE Conference Publication | IEEE Xplore