Finkbeiner, Bernd, and Andrey Kupriyanov. “Causality-Based Model Checking.”https://doi.org/10.4204/EPTCS.259.3__In Electronic Proceedings in Theoretical Computer Science, 259:31–38. Open Publishing Association, 2017.https://doi.org/10.4204/EPTCS.259.3 .