BibTex format
@inproceedings{Bradley:2003,
author = {Bradley, JT and Dingle, NJ and Harrison, PG and Knottenbelt, WJ},
pages = {62--71},
publisher = {IEEE Computer Soc},
title = {Performance queries on semi-markov stochastic petri nets with an extended continuous stochastic logic},
url = {http://hdl.handle.net/10044/1/5751},
year = {2003}
}