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