M Khalil, A Prieto, F Hölzl - Model-Based Safety and Assessment: 4th …, 2014 - Springer
… and safety case elements, the pattern library encapsulates all the information necessary for
reuse… Safety case construction and reuse using patterns. In: 16th International Conference on …