Borzoo BonakdarpourBooksRuntime VerificationStabilization, Safety, and Security of Distributed SystemsAuthor data: Open Library