Validating Safety Models with Fault Trees.

Glenn Bruns, Stuart Anderson

Browse the full SAFECOMP paper archive.