Assessing the Quality of Tabular State Machines through Metrics | IEEE Conference Publication | IEEE Xplore