From Dart to Designworld: a chronicle of research on automated engineering in the Stanford Logic Group | part of Artificial Intelligence in Perspective | MIT Press books | IEEE Xplore