Proceeding from the 2006 workshop on Tools for solving structured Markov chains
ACM Digital Library