Cyber physical systems. Design, modeling, and evaluation : 6th International Workshop, CyPhy 2016 Pittsburgh, PA, USA, October 6, 2016 Revised Selected Papers