Safety Patterns for SysML: What Does OMG Specify? - Nan Niu; Logan Johnson; Christopher Diltz (ICSR, 2020)