diff --git a/docs/cov.dot b/docs/cov.dot
new file mode 100644
index 0000000..4002db1
--- /dev/null
+++ b/docs/cov.dot
@@ -0,0 +1,29 @@
+/* View this file with xdot */
+digraph coverity {
+	"cov-config" -> "golden-cov-build";
+	"golden-setup" -> "golden-cov-build";
+
+	"cov-config" -> "branch-cov-build";
+	"branch-setup" -> "branch-cov-build";
+
+	"golden-cov-build" -> "golden-cov-analyze";
+	"branch-cov-build" -> "branch-cov-analyze";
+
+	"stream-setup" -> "golden-cov-commit-defects";
+	"golden-cov-analyze" -> "golden-cov-commit-defects";
+
+	"stream-setup" -> "branch-cov-commit-defects";
+	"branch-cov-analyze" -> "branch-cov-commit-defects";
+
+	"golden-cov-commit-defects" -> "branch-report-compare";
+	"branch-cov-analyze" -> "branch-report-compare";
+
+	"stream-setup" -> "branch-report-full";
+	"branch-cov-analyze" -> "branch-report-full";
+	"branch-cov-commit-defects" -> "branch-report-full";
+
+	/* Useful Coverity analysis targets */
+	"branch-cov-commit-defects" [color=red style=dotted];
+	"branch-report-compare" [color=red];
+	"branch-report-full" [color=red];
+}