@inproceedings{114b565357504bb1a235703e24acd56f,
title = "Localizing Faults in Simulink/Stateflow Models with STL",
author = "Ezio Bartocci and Thomas Ferr{\`e}re and Niveditha Manjunath and Dejan Nickovic",
year = "2018",
doi = "10.1145/3178126.3178131",
language = "English",
isbn = "978-1-4503-5642-8",
pages = "197--206",
booktitle = "Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control",
note = "HSCC 2018 ; Conference date: 11-04-2018 Through 13-04-2018",
}