This chapter moved to /control-gateways/state-machine-lab.html.