Cyber Physical Systems. Design, Modeling, and Evaluation 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers - Chamberlain, Roger; Chamberlain, Roger; Taha, Walid; Taha, Walid; Törngren, Martin; Törngren, Martin (Springer International Publishing : Imprint: Springer, 2019)