DOI,IST REx ID,Title of publication
10.1007/978-3-540-71322-7_13,4417,Abstract counterexample-based refinement for powerset domains