A framework for comparing and controlling numberbased design reasoning systems door L. Yu