Alexios Lekidis: Design flow for the rigorous development of networked embedded systems. (Flot de conception pour le développement rigoureux des systèmes embarqués en réseau). Grenoble Alpes University, France 2015