TY - RPRT TI - Model Based System Assurance Using the Structured Assurance Case Metamodel AU - Ran Wei AU - Tim P. Kelly AU - Xiaotian Dai AU - Shuai Zhao AU - Richard Hawkins PY - 2019 DO - 10.1016/j.jss.2019.05.013 UR - https://arxiv.org/abs/1905.02427 ID - 1905.02427 ER -