CTL Model Update for System Modifications