Memory Efficient Calculation of Path Probabilities in Large Structured Markov Chains | IEEE Conference Publication | IEEE Xplore