Low power finite state machine synthesis
Fomina, Jelena
2005
https://www.ester.ee/record=b2097121*est