InstitutionDoi/1709

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