Circuit pack troubleshooting via semantic control. I. Goal selection | IEEE Conference Publication | IEEE Xplore