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