Synthesis of power- and area-efficient binary machines for incompletely specified sequences | IEEE Conference Publication | IEEE Xplore