Efficient transient analysis of finite state space continuous time Markov chains (CTMCs): Signal processing approach | IEEE Conference Publication | IEEE Xplore