Planning for Safety Standards Compliance: A Model-Based Tool-Supported Approach. - Davide Falessi; Mehrdad Sabetzadeh; Lionel C. Briand; Emanuele Turella; Thierry Coq; Rajwinder Kaur Panesar-Walawege (IEEE Softw., 2012)