LB-CEGAR-Summaries.pdf