BibTex format
@inproceedings{Bradley:2003,
author = {Bradley, JT and Dingle, NJ and Harrison, PG and Knottenbelt, WJ},
pages = {62--71},
publisher = {IEEE Computer Society},
title = {Performance queries on semi-markov stochastic petri nets with an extended continuous stochastic logic},
year = {2003}
}