Chetan Shiva Shankar Vanish Talwar Subu Iyer Yuan Chen Dejan S. Milojicic Roy H. Campbell Specification-Enhanced Policies for Automated Management of Changes in IT Systems. 103-118 2006 conf/lisa/2006 LISA http://www.usenix.org/events/lisa06/tech/shankar.html db/conf/lisa/lisa2006.html#ShankarTICMC06