In recent years, the rapid advancement of machine learning (ML) has led to their early integration into safety-critical systems. As noted in Chapter 2, these technologies offer significant potential ...