Cyber physical systems. Design, modeling, and evaluation. : 5th International Workshop, CyPhy 2015 Amsterdam, The Netherlands, October 8, 2015 Proceedings (2015)