1. J. Hillston. A Compositional Approach to Performance Modelling. Cambridge University Press, 1996.
2. Lect Notes Comput Sci;S. Gilmore,1994
3. N. Götz, U. Herzog, and M. Rettelbach. Multiprocessor and Distributed System Design: The Integration of Functional Specification and Performance Analysis using Stochastic Process Algebras. In Performance’93, 1993.
4. M. Bernardo, L. Donatiello, and R. Gorrieri. Integrating Performance and Functional Analysis of Concurrent Systems with EMPA. Technical Report UBLCS-95-14, University of Bologna, 1995.
5. Semi-Markov and Decision Processes;R. A. Howard,1971