ACEditor: A Modeling Tool for Specifying and Synthesizing Executable Assurance Cases from Fault Trees. - Luís Nascimento; André Luíz de Oliveira; Regina Villela 001; Hiago Fonseca; Kalinka R. L. J. Castelo Branco; Ran Wei; Richard Hawkins; Tim Kelly (IMBSA, 2025)