Safety Case Generation via Model
Transformation

 

General Patterns

 

SPIRIT Framework

 

Assurance case for Safety Critical system

 

Two tanks control system case study (new)