DOI,IST REx ID,Research Group,Title of publication
10.1145/3302504.3311800,6428,ToHe,Interface-aware signal temporal logic