4 ms·

I never used a library for this kind of thing. But simple Mealy Machines come up somewhat regularly in my UI code.