selected publications academic article Toward an analytical method for SLA validation. Software and Systems Modeling. 2017