Yuri Gil Dantas, Tiziano Munaro, Carmen Cârlan, Vivek Nigam, Simon Barner, Shiqing Fan, Alexander Pretschner, Ulrich Schöpp, Sergey Tverdyshev. A Toolchain for Synthesizing and Validating Safety Architectures. SN Computer Science, 4(4):335, July 2023. [doi]
Abstract is missing.