Requirements Specifications Automated