Michael Kuperberg Markov Models. 48-55 2005 Dependability Metrics http://dx.doi.org/10.1007/978-3-540-68947-8_8 conf/dagstuhl/2005dm db/conf/dagstuhl/dm2005.html#Kuperberg05