Tim Kelly presented the talk towards model-based Safety Cases in AutoFOCUS at the ICSE 2013 Workshop ASSURE. The work is a valuable result of the D-Mils Project and will be included in the open source Tool AF3 (af3.fortiss.org). The slides are available under:

http://www.cs.york.ac.uk/assure2013/Program.html