BibTex format
@inproceedings{Bradley:2003,
author = {Bradley, JT and Dingle, NJ and Gilmore, ST and Knottenbelt, WJ},
pages = {79--90},
title = {Extracting passage times from PEPA models with the HYDRA tool: a case study},
url = {http://pubs.doc.ic.ac.uk/pepa-ukpew2003/},
year = {2003}
}