Safety Case Development with SBVR-Based Controlled Language. - Yaping Luo; Mark van den Brand; Alexandre Kiburse (MODELSWARD (Revised Selected Papers), 2015)