CPSDebug: Automatic failure explanation in CPS models. - Bartocci, Ezio; Manjunath, Niveditha; Mariani, Leonardo; Mateis, Cristinel; Ničković, Dejan (International Journal on Software Tools for Technology Transfer, 2021)