SafeSlice: a Model Slicing and Design Safety Inspection Tool for SysML.