H2020 - XANDAR - X-by-Construction Design framework for Engineering Autonomous & Distributed Real-time Embedded Software Systems