Abstracting and formalising the design co-evolution model. (25th April 2022)