publication venue for Using constraint-based optimization and variability to support continuous self-adaptation 2012