_id,doi,title
183,10.1145/3178126.3178131,Localizing faults in simulink/stateflow models with STL