@InProceedings{Tri07,
author={M. Tribastone},
title={The PEPA Plug-in Project},
booktitle={Proc. 4th International Conference on Quantitative Evaluation of Systems (QEST'07)},
year={2007},

editor={},
pages={53-54},
organization={},
publisher={IEEE Computer Society},
series={},
volume={},
address={},
month={},
note={},
key={}
}