High confidence networked systems : part of CPS week ; HiCoNS'14 ; proceedings of the 3rd International conference ; Berlin, Germany, April 15 - 17, 2014 (ACM - Association for Computing Machinery, 2014)