Walid Mechri, Christophe Simon, Wahbi Rajhi: Alternating Test Strategy for Multi-State Safety System Performance Analysis. CoDIT 2023: 914-919