Tribastone, Mirco  Differential analysis of PEPA models.   In:  Proceedings of the 8th Workshop on Process Algebra and Stochastically Timed Activities (PASTA).   Informatics Forum - University of Edinburgh, pp. 7-12.       (2009)