Papers by Christian Schallert:

Title: Automated Safety Analysis by Minimal Path Set Detection for Multi-Domain Object-Oriented Models
Authors: Christian Schallert
Links: Abstract, Full paper