System assurances : modeling and management /: modeling and management. (2022)