The Analysis of Modern FSM Description Languages | IEEE Conference Publication | IEEE Xplore