Estimating the Complexity of Synthesized Designs from FSM Specifications | IEEE Conference Publication | IEEE Xplore