Continuous-Time Markov Chain Modelling for Service Life Prediction of Building Elements | Synapse