E. Bartocci, Y. Falcone, B. Bonakdarpour, C. Colombo, N. Decker, et al.. First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014.
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2017, pp.1-40.
⟨10.1007/s10009-017-0454-5⟩.
⟨cea-01845191⟩