Naoshi Tabuchi, Naoto Sato, Hiroaki Nakamura. Model-Driven Performance Analysis of UML Design Models Based on Stochastic Process Algebra. In Alan Hartman, David Kreische, editors, Model Driven Architecture - Foundations and Applications, First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005, Proceedings. Volume 3748 of Lecture Notes in Computer Science, pages 41-58, Springer, 2005. [doi]