SAFEST has been used for the probabilistic risk assessment of systems in many different domains. A non-exhaustive list of these is given below. In many cases, we provide detailed information about the case study, including dynamic fault tree model, important measures of interest and experimental results. For others, we just include links to the relevant publication. We are always happy to include details of externally developed case studies. Please feel free to email us if you want your work to be included in our list of case studies.