Dinar, et al.. Towards a Formal Representation Model of Problem Formulation in Design. ASME, 2011, doi:10.1115/detc2011-48396.