An extension of the GQM+Strategies approach with formal causal reasoning
Strategic alignment: leveraging information technology for transforming organizations