Beamonte, R., Ezzati-Jivan, N., & Dagenais, M. (2022). Execution trace-based model verification to analyze multicore and real-time systems. Concurrency and Computation-Practice & Experience, 34(17), e6974 (26 pages). Lien externe