ReqPat: Efficient documentation of high-quality requirements using controlled natural language | IEEE Conference Publication | IEEE Xplore