From Natural Language to SBVR Model Authoring Using Structured English for Compliance Checking | IEEE Conference Publication | IEEE Xplore