A profile and tool for modelling safety information with design information in SysML. - Biggs, Geoffrey; Sakamoto, Takeshi; Kotoku, Tetsuo (Software & Systems Modeling, 2016)