@Inproceedings{EPTCS259.3, author = {Finkbeiner, Bernd and Kupriyanov, Andrey}, year = {2017}, title = {Causality-based Model Checking}, editor = {Groce, Alex and Leue, Stefan}, booktitle = {{\rm Proceedings 2nd International Workshop on} Causal Reasoning for Embedded and safety-critical Systems Technologies, {\rm Uppsala, Sweden, 29th April 2017}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {259}, publisher = {Open Publishing Association}, pages = {31-38}, doi = {10.4204/EPTCS.259.3}, }