diff --git a/.gitignore b/.gitignore
index 8c3cba9c1459c3656353e57f12a4d641d90035a3..1bb8669b490ece744c69e3abda15c41c7c1f00d9 100644
--- a/.gitignore
+++ b/.gitignore
@@ -17,3 +17,4 @@ temp
 out/
 src/test/**/*.tla
 src/test/**/*.cfg
+public_examples
diff --git a/build.gradle b/build.gradle
index 3d414625243450bedb4a4834045885166530135b..1c6c787dfdee407a5279c192ff513cae2748d8df 100644
--- a/build.gradle
+++ b/build.gradle
@@ -4,6 +4,7 @@ plugins {
     id 'maven'
     id 'jacoco'
     id 'findbugs'
+    id "de.undercouch.download" version "3.4.3"
 }
 
 project.version = '1.0.4-SNAPSHOT'
@@ -63,13 +64,28 @@ test {
 	//exclude('de/tlc4b/tlc/integration')
 }
 
+task downloadPublicExamples(type: Download) {
+  src 'https://www3.hhu.de/stups/downloads/prob/source/ProB_public_examples.tgz'
+  dest buildDir
+  onlyIfModified true
+}
+
+task extractPublicExamples(dependsOn: downloadPublicExamples, type: Copy) {
+  from tarTree(resources.gzip("${buildDir}/ProB_public_examples.tgz"))
+  into projectDir
+}
+
+clean {
+  delete "${projectDir}/public_examples"
+}
 
-task regressionTests(type: Test){
+task regressionTests(dependsOn: extractPublicExamples, type: Test){
 	doFirst{ println("Running integration tests") }
 	scanForTestClasses = true
 	//include('de/tlc4b/tlc/integration/probprivate/**')
 	include('de/tlc4b/**')
 }
+check.dependsOn(regressionTests)
 
 // type 'gradle integrationTests jacocoIntegrationTestReport' in order to run the jacoco code coverage analysis
 task jacocoIntegrationTestReport(type: JacocoReport) {