Dimovski. Model Sketching by Abstraction Refinement for Lifted Model Checking (extended Version). 21 Dec. 2021.