Adds submodules and Specifications