Formalization of Continuous Time Markov Chains with Applications in Queueing Theory