@InProceedings{EKM96,
author={A. El-Rayes and M. Kwiatkowska and S. Minton},
title={Analysing Performance of Lift Systems in PEPA},
booktitle={Proc. UK Performance Engineering Workshop},
year={1996},

editor={},
pages={83-100},
organization={},
publisher={},
series={},
volume={},
address={},
month={},
note={Department of Computer Science, The University of Edinburgh},
key={}
}