“…The need for supporting arbitrary specification changes and update requirements that constrain the transition between specifications has been subject of more recent studies (e.g., [47,77,96]). Although they focus on specification and verification of update strategies, more recently work focuses on automated synthesis of update plans (e.g., [11,56,69,71,86]).…”