Design and implement robust finite state machines for complex system behavior in an embedded product.