Fergus Duncan. At the Sharp End: developing and validating Safety Critical Software. In Chris Dale, Tom Anderson, editors, Achieving Systems Safety - Proceedings of the Twentieth Safety-Critical Systems Symposium, SSS 2012, Bristol, UK, February 7-9, 2012. pages 225-235, Springer, 2012. [doi]
Abstract is missing.