InstitutionDoi/1743

Title	XANDAR: Exploiting the X-by-Construction Paradigm in Model-based Development of Safety-critical Systems
DOI	https://doi.org/10.23919/date54114.2022.9774534
Raw Affiliation	Bayerische Motoren Werke Aktiengesellschaft, Germany
Clean Page Target	Bayerische Motoren Werke Aktiengesellschaft, Germany