State Space Exploration in Markov Models. - Edmundo de Souza e Silva; Pedro Mejía Ochoa (SIGMETRICS, 1992)