Separating Safety and Control Systems to Reduce Complexity

Alan Wassyng, Mark Lawford, Tom Maibaum. Separating Safety and Control Systems to Reduce Complexity. In Mike Hinchey, Lorcan Coyle, editors, Conquering Complexity. pages 85-102, Springer, 2012. [doi]

Abstract

Abstract is missing.