Jean-Louis Colaço, Bruno Pagano, Marc Pouzet: SCADE 6: A formal language for embedded critical software development (invited paper). TASE 2017: 1-11