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 - Chamberlain (Springer International Publishing, 2020)