@article{929048, note = {Includes author index.}, author = {Chamberlain, Roger. and Grimheden, Martin Edin. and Taha, Walid,}, url = {http://library.usi.edu/record/929048}, title = {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 /. Cyphy (Workshop)}, recid = {929048}, pages = {1 online resource (289 pages).}, }