Debugging of Behavioural Models using Counterexample Analysis. - Barbon, Gianluca; Leroy, Vincent; Salaün, Gwen (IEEE Trans. Software Eng., 2021)