Prof.Dorina C. PetriuNAIF ABDULLAH M ALZAHRANI2022-05-192022-05-1929721https://drepo.sdl.edu.sa/handle/20.500.14154/13191Automatic Derivation of Dependability and Fault Tolerance Analysis Models from Software ArchitectureThesis