Using norm analysis patterns for automated requirements validation | IEEE Conference Publication | IEEE Xplore