diff --git a/examples/ctmc/tiny/tiny.sm b/examples/ctmc/tiny/tiny.sm
new file mode 100644
index 000000000..70dde75b8
--- /dev/null
+++ b/examples/ctmc/tiny/tiny.sm
@@ -0,0 +1,11 @@
+ctmc
+
+module one
+  s : [0 .. 3] init 1;
+  
+  [] s<3 -> 3/2 : (s'=s+1);
+  [] s>0 -> 3 : (s'=s-1);
+endmodule
+
+label "empty" = s=0;
+label "full" = s=3;
\ No newline at end of file