Rare event simulation for highly dependable systems with fast repairs
Keywords: سیستم های قابل اعتماد; Statistical model checking; Rare events; Importance sampling; Dependable systems;