Nalini Venkatasubramanian, Carolyn L. Talcott, "A Semantic Framework for Modeling and Reasoning about Reflective Middleware", IEEE Distributed Systems Online vol. 2 no. , p. null, , 2001