---
title: Traffic Light
categories: behavioral
...

This example demonstrates modeling of a simple Traffic Light state machine.