• System assurances : modeling and management2022 https://doi.org/10.1016/C2020-0-03092-6