Title: Proceedings of the 9th Workshop on Hot Topics in Dependable Systems