"SafeSlice: a model slicing and design safety inspection tool for SysML."

Davide Falessi et al. (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics