Howard Barringer David E. Rydeheard Dov M. Gabbay A Logical Framework for Monitoring and Evolving Software Components. 273-282 2007 conf/tase/2007 TASE http://doi.ieeecomputersociety.org/10.1109/TASE.2007.4 db/conf/tase/tase2007.html#BarringerRG07