High-Confidence Computing (Elsevier, 2021)