Search: Model Management, Tech report/unpubl, Touzet, D, 10 - 49