Yan Zhang Yulin Ding CTL Model Update for System Modifications. 113-155 2008 31 J. Artif. Intell. Res. (JAIR) http://jair.org/papers/paper2420.html db/journals/jair/jair31.html#ZhangD08