BibTex format
@techreport{Bradley:2007:10.25561/95376,
author = {Bradley, JT},
booktitle = {Departmental Technical Report: 07/2},
doi = {10.25561/95376},
publisher = {Department of Computing, Imperial College London},
title = {RCAT: from PEPA to product form},
url = {http://dx.doi.org/10.25561/95376},
year = {2007}
}