InstitutionDoi/1742

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	Vector Informatik GmbH, Germany
Clean Page Target	Vector Informatik GmbH, Germany