@InProceedings{GPM10,
author={X. Ge and R. Paige and J. McDermid},
title={Analysing System Failure Behaviours With {PRISM}},
booktitle={Proc. 4th IEEE International Conference on Secure Software Integration and Reliability Improvement Companion},
year={2010},

editor={},
pages={130--136},
organization={},
publisher={},
series={},
volume={},
address={},
month={},
note={},
key={}
}