System Assurances: Modelling and Management - Prashant Johri (Academic Press Elsevier, 2022)