A language to write software requirements, based on xtext