The second parameter here remains 7.1.2 since that is part of the artifactId for  the org.jboss.as:jboss-as-core-model-test-controller-7.1.2. This will link against the version of controller brought in by the host-controller artifact, and they are API compatible. In other words there is no need for a org.jboss.as:jboss-as-core-model-test-controller-7.1.3