Yaping Luo, Mark van den Brand: Metrics design for safety assessment. Inf. Softw. Technol. 73: 151-163 (2016)