Efficient Model to Query and Visualize the System States Extracted from Trace Data. - Alexandre Montplaisir; Naser Ezzati-Jivan; Florian Wininger; Michel R. Dagenais (RV, 2013)