LaTeX sources of the paper about REQUS, a controlled natural language for requirements specification - View it on GitHub