Chung-Ling Lin, Wuwei Shen, Tao Yue, Guangyuan Li: Automatic Support of the Generation and Maintenance of Assurance Cases. SETTA 2018: 11-28