A natural language-based methodology to formalize and automate the requirements engineering process - Γεωργιάδης, Μαρίνος Γεωργίου ([s. n.], 2011)