Mathematical Modelling and Formalization of TRIZ: Trimming for Product Design. - Chris Edward; Jane Labadin; Narayanan Kulathuramaiyer (TFC, 2022)