@InProceedings{ENT08,
author={J. Elmqvist and S. Nadjm-Tehrani},
title={Formal Support for Quantitative Analysis of Residual Risks in Safety-Critical Systems},
booktitle={Proc. High Assurance Systems Engineering Symposium (HASE'08)},
year={2008},

editor={},
pages={},
organization={},
publisher={},
series={},
volume={},
address={},
month={December},
note={},
key={}
}