Models and algorithms for business value-driven adaptation of business processes and software infrastructure | IEEE Conference Publication | IEEE Xplore