Safety by Construction: Pattern-Based Application of Safety Mechanisms in XANDAR.
Tobias DörrFlorian SchadeLeonard MasingJürgen BeckerGeorgios KeramidasChristos P. AntonopoulosMichail MavropoulosVasilios I. KelefourasNikolaos S. VorosPublished in: ISVLSI (2022)