HiCoNS '13 proceedings of the 2nd ACM International Conference on High Confidence Networked Systems : April 9-11, 2013, Philadelphia, PA, USA (ACM, 2013)