DOI,IST REx ID,Research Group,Title of publication
10.1145/2038642.2038666,3359,ToHe,From boolean to quantitative synthesis