Integrated modeling tool for indexing and analyzing state machine trace | IEEE Conference Publication | IEEE Xplore