Dovier, Quintarelli, 2002. Model-Checking Based Data Retrieval, in: . Springer Berlin Heidelberg.. https://doi.org/10.1007/3-540-46093-4_4