@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={} }