HiCoNS '14 proceedings of the 3rd International Conference on High Confidence Networked Systems (part of CPS Week) : April 15-17, 2014, Berlin, Germany (Association for Computing Machinery, 2014)