@inproceedings{d51f34725faa4f8db0d6d9545ef6147f,
title = "Automatic Failure Explanation in CPS Models",
author = "Ezio Bartocci and Niveditha Manjunath and Leonardo Mariani and Cristinel Mateis and Dejan Nickovic",
year = "2019",
language = "English",
isbn = "978-3-030-30445-4",
pages = "69--85",
booktitle = "Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings",
note = "SEFM 2019 ; Conference date: 18-09-2019 Through 20-09-2019",
}