Automated Identification of LTL Patterns in Natural Language Requirements. - Allen P. Nikora; Galen Balcom (ISSRE, 2009)