Networked Systems 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9-11, 2018, Revised Selected Papers - Podelski, Andreas; Podelski, Andreas; Taïani, François; Taïani, François (Springer International Publishing : Imprint: Springer, 2019)