Vladimir Mandic, Nebojsa Gvozdenovic: An extension of the GQM<sup>+</sup>Strategies approach with formal causal reasoning. Inf. Softw. Technol. 88: 127-147 (2017)