Automated Explanations as a Component of a Computer-Aided Design System | IEEE Journals & Magazine | IEEE Xplore