CIVIL-COMP 2017. (September 2018) - Kruis, J.; Tsompanakis, Y.; Topping, B.H.V.