@misc{misc226ab02d,
title   = {ACEditor: a modeling tool for specifying and synthesizing executable assurance cases from fault trees},
author = {Nascimento, Luis and Oliveira, Andre Luiz and Villela, Regina and Fonseca, Hiago and Branco, Kalinka Regina Lucas Jaquie Castelo and Wei, Ran and Hawkins, Richard and Kelly, Timothy Patrick},
year = {2026},
doi = {10.1007/978-3-032-05073-1_20},
booktitle   = {International Symposium on Model-Based Safety and Assessment - IMBSA}
}