Cyber physical systems. Model-based design : 9th International Workshop, CyPhy 2019 and 15th International Workshop, WESE 2019 New York City, NY, USA, October 17-18, 2019 Revised Selected Papers (2020)