Merge Specifications to master branch