Automated Assertion Generation from Natural Language Specifications. - Steven J. Frederiksen; John Aromando; Michael S. Hsiao (ITC, 2020)