Cyber physical systems. Model-based design : 8th International Workshop, CyPhy 2018 and 14th International Workshop, WESE 2018 Turin, Italy, October 4-5, 2018 Revised Selected Papers (2019)