Prieur-Drevon, L., Beamonte, R., & Dagenais, M. (2018). R-SHT: A state history tree with R-Tree properties for analysis and visualization of highly parallel system traces. Journal of Systems and Software, 135, 55-68. Disponible