Barringer, et al.. A Logical Framework for Monitoring and Evolving Software Components. IEEE, 2007, doi:10.1109/tase.2007.4.