@book{46581,
	author = {Wang, J.},
	title = {Analysis of safety-critical software elements in offshore safety studies},
	year = {2000}
}