DOI,IST REx ID,Research Group,Title of publication
10.1145/3178126.3178131,183,ToHe,Localizing faults in simulink/stateflow models with STL