SMS: Networked Systems 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9-11, 2018, Revised Selected Papers / edited by Andreas Podelski, François Taïani. [electronic resource] :