InstitutionDoi/1680

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	Karlsruhe Institute of Technology, Germany
Clean Page Target	Karlsruhe Institute of Technology, Germany