InstitutionDoi/1686

Title	XANDAR: X-by-Construction Design framework for Engineering Autonomous & Distributed Real-time Embedded Software Systems
DOI	https://doi.org/10.1109/fpl53798.2021.00075
Raw Affiliation	Bayerische Motoren Werke Aktiengesellschaft, Germany
Clean Page Target	Bayerische Motoren Werke Aktiengesellschaft, Germany