Semi-Automatic Checklist Quality Assessment of Natural Language Requirements for Space Applications | IEEE Conference Publication | IEEE Xplore