A novel state assignment method for XBM AFSMs without the essential hazard assumption | IEEE Conference Publication | IEEE Xplore