@InProceedings{Dwo09,
author={H. Dworak},
title={The Design and Implementation of a Documentation Generator for the {PRISM} Language},
booktitle={Proc. 4th International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX'09)},
year={2009},

editor={},
pages={91--98},
organization={},
publisher={IEEE Computer Society},
series={},
volume={},
address={},
month={June},
note={},
key={}
}