Proceedings of the 3rd international conference on High confidence networked systems