On the Automated Design of Technical Systems ∗