Automated Risk-Based Testing by Integrating Safety Analysis Information into System Behavior Models. - Ramy Nazier; Thomas Bauer (ISSRE Workshops, 2012)