High confidence networked systems : HiCoNS'13 ; proceedings of the 2nd ACM international conference ; Philadelphia, PA, USA, April 9-11, 2013 (ACM - Association for Computing Machinery, 2013)