Jack Crawford. Integrated Design Analysis. In Felix Redmill, Tom Anderson, editors, Components of System Safety - Proceedings of the Tenth Safety-critical Systems Symposium, Southampton, UK, 2002. pages 167-182, Springer, 2002. [doi]
Abstract is missing.