Updated spec, and migrated from openOffice to ReqIF