Automated redesign of engineering models by A. Pos