Jeff Kramer Jeff Magee A Rigorous Architectural Approach to Adaptive Software Engineering. 183-188 2009 24 J. Comput. Sci. Technol. 2 http://dx.doi.org/10.1007/s11390-009-9216-5 db/journals/jcst/jcst24.html#KramerM09