1. Automated method for assurance case construction from system design models;Hartsell,2021
2. Position paper: a vision for the dynamic safety assurance of ML-enabled autonomous driving systems;Belle,2023
3. A safety-argument based method to predict system failure;Liu,2012
4. Safety cases: a review of challenges;Langari,2013
5. A lean approach to building valid model-based safety arguments;Viger,2021