Multi Component Digital Circuit Optimization by Solving FSM Equations. - Nina Yevtushenko 001; Svetlana Zharikova; Maria Vetrova (DSD, 2003)