InstitutionDoi/1710

Title	Safety by Construction: Pattern-Based Application of Safety Mechanisms in XANDAR
DOI	https://doi.org/10.1109/isvlsi54635.2022.00081
Raw Affiliation	Karlsruhe Institute of Technology (KIT), Germany
Clean Page Target	Karlsruhe Institute of Technology (KIT), Germany