S. Delisle, N. Ezzati-Jivan, and M. R. Dagenais, "Integrated Modeling Tool for Indexing and Analyzing State Machine Trace," in 2021 IEEE International Symposium on Networks, Computers and Communications (ISNCC), pp. 1-8, 2021, doi: 10.1109/ISNCC52172.2021.9615814