Paolo Ballarini András Horváth Memory Efficient Calculation of Path Probabilities in Large Structured Markov Chains. 157-166 2008 QEST http://dx.doi.org/10.1109/QEST.2008.25 conf/qest/2008 db/conf/qest/qest2008.html#BallariniH08