Our paper Formalizing Correctness Criteria of Dynamic Updates Derived from Specification Changes was accepted at the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2013).