A synchronization algorithm for local temporal refinements in perfectly synchronous models with nested feedback loops