Proceedings of the 1st international conference on High Confidence Networked Systems