An extension of the GQM+Strategies approach with formal causal reasoning
Linking Software Development and Business Strategy Through Measurement