Integrated modeling tool for indexing and analyzing state machine trace. - Simon Delisle; Naser Ezzati-Jivan; Michel R. Dagenais (ISNCC, 2021)