TY - RPRT TI - An Assurance Case with a Model at its Core AU - DiVenti, Anthony AU - Evans, John AU - Shelton, Marta AU - Feather, Martin S AU - Cornford, Steven L PY - 2021 UR - https://ntrs.nasa.gov/citations/20220001554 ID - 20220001554 ER -