Jeremy T. Bradley, William J. Knottenbelt: Proceedings of the First International Workshop on Practical Applications of Stochastic Modelling, PASM 2004, London, UK, September 4, 2004. Electronic Notes in Theoretical Computer Science 128, Elsevier 2005