Supporting the verification of compliance to safety standards via model-driven engineering: Approach, tool-support and empirical validation

Rajwinder Kaur Panesar-Walawege, Mehrdad Sabetzadeh, Lionel C. Briand. Supporting the verification of compliance to safety standards via model-driven engineering: Approach, tool-support and empirical validation. Information \& Software Technology, 55(5):836-864, 2013. [doi]

Abstract

Abstract is missing.