@article{ezzatiJivan2022executiontrace,
  author = {Raphaël Beamonte and Naser Ezzati-Jivan and Michel R. Dagenais},
  title = {Execution trace-based model verification to analyze multicore and real-time systems},
  year = {2022},
  journal = {Concurrency and Computation: Practice and Experience},
  volume = {34},
  number = {17},
  eid = {e6974},
  publisher = {Wiley},
  issn = {1532-0626, 1532-0634},
  doi = {10.1002/cpe.6974},
  url = {https://doi.org/10.1002/cpe.6974}
}