Cyber physical systems design, modeling, and evaluation : 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016 : revised selected papers - Berger, Christian 1980- (Springer, 2017)