Derek Mannering, Jon G. Hall, Lucia Rapanotti. Safety Process Improvement with POSE and Alloy. In Felix Redmill, Tom Anderson, editors, Improvements in System Safety - Proceedings of the Sixteenth Safety-Critical Systems Symposium, Brighton, UK, February 5-7, 2008. pages 25-41, Springer, 2008. [doi]
Abstract is missing.