Elena TroubitsynaBooksMethods, Models and Tools for Fault ToleranceComputer Safety, Reliability, and Security. SAFECOMP 2025 WorkshopsSoftware Engineering for Resilient SystemsIntegrated Formal MethodsDependability and Computer EngineeringAuthor data: Open Library