XANDAR: X-by-Construction Design framework for Engineering Autonomous & Distributed Real-time Embedded Software Systems. - Jürgen Becker 001; Leonard Masing; Tobias Dörr; Florian Schade; Georgios Keramidas; Christos P. Antonopoulos; Michail Mavropoulos; Efstratios Tiganourias; Vasilios I. Kelefouras; Konstantinos Antonopoulos; Nikolaos S. Voros; Umut Durak; et al. (FPL, 2021)