Tool Qualification for Safety Related Systems. - Ekman, Mathias; Thane, Henrik; Sundmark, Daniel; Larsson, Stig (Ada User Journal, 2014)