  In this position paper we discuss three main shortcomings of existing
approaches to counterfactual causality from the computer science perspective,
and sketch lines of work to try and overcome these issues: (1) causality
definitions should be driven by a set of precisely specified requirements
rather than specific examples; (2) causality frameworks should support system
dynamics; (3) causality analysis should have a well-understood behavior in
presence of abstraction.
