Generating Alloy Specification: From Textual User Requirements Written in Natural Language