An extension of the GQM+Strategies approach with formal causal reasoning
saf : strategic alignment framework for monitoring organizations .