Implementing State Machines

You will generate finite state machines at compile-time to enforce safety protocols for hardware drivers.