R. Nou, S. Kounev, and J. Torres. Formal Methods and Stochastic Models for Performance Evaluation, Proceedings of the 4th European Performance Engineering Workshop (EPEW 2007), Berlin, Germany, September 27-28, 2007, 4748, page 125--140. Heidelberg, Germany, Springer, (September 2007)
R. Nou, S. Kounev, and J. Torres. Formal Methods and Stochastic Models for Performance Evaluation, Proceedings of the 4th European Performance Engineering Workshop (EPEW 2007), Berlin, Germany, September 27-28, 2007, 4748, page 125--140. Heidelberg, Germany, Springer, (September 2007)