At the moment the paper is only available in postscript. The paper contains fonts that cannot be converted using the pstopdf utility. It presents initial work and so comments and criticisms are very welcome.

@inproceedings{Johnson:2000risk, 
	TITLE = "A Preliminary Study Into the Integration of Formal Methods, 
		Risk Assessment and Decision Theory",
	AUTHOR = "C.W. Johnson", 
	BOOKTITLE = "Proceedings of the 5th NASA Langley Formal Methods Workshop",
	EDITOR = "C.M. Holloway", 
	NUMBER = "NASA/CP-2000-210100", 
	NOTE = "Paper to accompany an invited talk. 
		The full version wasn't finished in time for the final proceedings",
	YEAR = "2000"}