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