_id,doi,title
6428,10.1145/3302504.3311800,Interface-aware signal temporal logic