InstitutionDoi/1741

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	AVN Innovative Technology Solutions Limited, Cyprus
Clean Page Target	AVN Innovative Technology Solutions Limited, Cyprus