diff --git a/AlgebraicDataflowArchitectureModel/models/Timer.model b/AlgebraicDataflowArchitectureModel/models/Timer.model
new file mode 100644
index 0000000..83a66d5
--- /dev/null
+++ b/AlgebraicDataflowArchitectureModel/models/Timer.model
@@ -0,0 +1,15 @@
+native channel TimersUpdated {
+	in timers(curTimers: Map, update(curTimers, nextTimers)) = nextTimers
+}
+
+native channel TimerEvent(tid: Str) {
+	out timers.{tid}.count(count: Long, tick()) = count + 1
+}
+
+channel StartTimer {
+	out timers(timers: Map, startTimer(tid: Str, interval: Long)) = insert(timers, tid, {"interval": interval, "count": 0})
+}
+
+channel ClearTimer {
+	out timers(timers: Map, clearTimer(tid: Str)) = delete(timers, tid)
+}