Create Specifications_used.md