An extension of the GQM+Strategies approach with formal causal reasoning
Linking the balanced scorecard to strategy