Proceedings of the ACMIEEE Sixth International Conference on Cyber-Physical Systems - Bayen, Alexandre (Verfasser); Association for Computing Machinery-Digital Library; ACM Special Interest Group on Embedded Systems (ACM, 2015)