On Semi-Markov Modelling and Inference for Multi-state Systems