Which Requirements Artifact Quality Defects are Automatically Detectable? A Case Study | IEEE Conference Publication | IEEE Xplore