Proceedings of the 2nd ACM international conference on High confidence networked systems
ACM Digital Library