BibTex format
@inproceedings{Bradley:2003,
author = {Bradley, J and Dingle, N and Harrison, P and Knottenbelt, W},
publisher = {IEEE Computer Society Press},
title = {Distributed Computation of Passage Time Quantiles and Transient State Distributions in Large Semi-Markov Models},
url = {http://pubs.doc.ic.ac.uk/passage-pmeo2003},
year = {2003}
}