Proceedings of the 9th Workshop on Hot Topics in Dependable Systemsby Christian CachinWriting a summary for young readers…For young readersBook data: Open Library