This page has been moved to /firmware/software-design/finite-state-machines