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