Traceability and SysML Design Slices to Support Safety Inspections: a Controlled Experiment