Search: Model Management, Theory, Bezivin, J, 2005, 10 - 49