Morgensternand Schneider. Program Sketching via CTL* Model Checking. Springer Berlin Heidelberg, 2011, doi:10.1007/978-3-642-22306-8_9.