CCS Spring Formal 2017 - wbimages