Title: Automated design of a microprogrammed controller for a Finite State Machine