Tim M. Bull, Keith H. Bennett. System Safety through Formal Domain-Specific Languages. In Felix Redmill, Tom Anderson, editors, Safety-Critical Systems: The Convergence of High Tech and Human Factors - Proceedings of the Fourth Safety-critical Systems Symposium, SSS 1996, Leeds, UK, February 6-8, 1996. pages 243-265, Springer, 1996. [doi]