A structured approach for the engineering of biochemical network models, illustrated for signalling pathways