Using counters and other logic devices, design a traffic light that operates as follows: Red light for $9$ seconds, Orange light for $3$ seconds and green light for $12$ seconds. Assume a clock frequency of $1$ Hz$.$ Show your work.