Tool Qualification Considerations for Tools Supporting STPA. (2015)