Visual debugging of behavioural models. - Gianluca Barbon; Vincent Leroy 001; Gwen Salaün; Emmanuel Yah (ICSE (Companion Volume), 2019)