High confidence networked systems : HiCoNS'12 ; proceedings of the 1st ACM international conference : Beijing, China, April 17 - 19, 2012 (ACM - Association for Computing Machinery, 2012)