Irfan Sljivo, Omar Jaradat, Iain Bate, Patrick J. Graydon. Deriving Safety Contracts to Support Architecture Design of Safety Critical Systems. In 16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, January 8-10, 2015. pages 126-133, IEEE, 2015. [doi]
Abstract is missing.