@inproceedings{ezzatiJivan2013efficientmodel,
  author = {Alexandre Montplaisir and Naser Ezzati-Jivan and Florian Wininger and Michel R. Dagenais},
  title = {Efficient Model to Query and Visualize the System States Extracted from Trace Data},
  year = {2013},
  booktitle = {Runtime Verification 2013 (RV 2013)},
  pages = {219-234},
  publisher = {Springer Berlin Heidelberg},
  issn = {0302-9743, 1611-3349},
  isbn = {9783642407864, 9783642407871},
  doi = {10.1007/978-3-642-40787-1_13},
  url = {https://doi.org/10.1007/978-3-642-40787-1_13}
}