DOI,IST REx ID,Research Group,Title of publication
10.1145/2429069.2429085,2182,ToHe,Quantitative abstraction refinement