A STRATEGIC APPROACH   FOR AUTOMATED SAFE COMPOSABLE MODEL TESTING FOR SAFETY CRITICAL SYSTEM. MIR 2024, 18 (2), 174-186.