InstitutionDoi/1712

Title	Safety by Construction: Pattern-Based Application of Safety Mechanisms in XANDAR
DOI	https://doi.org/10.1109/isvlsi54635.2022.00081
Raw Affiliation	University of Peloponnese, Greece
Clean Page Target	University of Peloponnese, Greece