2024. A STRATEGIC APPROACH   FOR AUTOMATED SAFE COMPOSABLE MODEL TESTING FOR SAFETY CRITICAL SYSTEM. Machine Intelligence Research. 18, 2 (Sep. 2024), 174–186.