The following publications are possibly variants of this publication:
- Testing Timed Finite State Machines with Guaranteed Fault CoverageKhaled El-Fakih, Nina Yevtushenko, Hacène Fouchal. pts 2009: 66-80 [doi]
- Extended Finite State Machine Based Test Derivation Driven by User Defined FaultsKhaled El-Fakih, Anton Kolomeez, Svetlana Prokopenko, Nina Yevtushenko. icst 2008: 308-317 [doi]
- Fault Diagnosis in Extended Finite State MachinesKhaled El-Fakih, Svetlana Prokopenko, Nina Yevtushenko, Gregor von Bochmann. pts 2003: 197-210 [doi]
- Deriving Tests with Guaranteed Fault Coverage for Finite State Machines with TimeoutsAleksandr Tvardovskii, Khaled El-Fakih, Nina Yevtushenko. pts 2018: 149-154 [doi]