related documents MMINT-A: A Tool for Automated Change Impact Assessment on Assurance Cases Conferences Safe and Secure Automotive Over-the-Air Updates Conferences Two Decades of Assurance Case Tools: A Survey Conferences
