BibTex format
@inproceedings{Bradley:2004:10.1109/QEST.2004.1348054,
author = {Bradley, JT and Knottenbelt, WJ},
doi = {10.1109/QEST.2004.1348054},
pages = {334--335},
publisher = {IEEE Computer Soc},
title = {The ipc/HYDRA tool chain for the analysis of PEPA models},
url = {http://dx.doi.org/10.1109/QEST.2004.1348054},
year = {2004}
}