Proceedings of the 9th Workshop on Hot Topics in Dependable Systems
ACM Digital Library