Automatically Tracing Dependability Requirements via Term-Based Relevance Feedback
Model-Driven Safety Analysis of Closed-Loop Medical Systems