@article{Bartocci-STTT2017,
  author = {Ezio  and Falcone, Yli\`es  and Bonakdarpour, Borzoo  and Colombo, Christian  and Decker, Normann  and Havelund, Klaus  and Joshi, Yogi  and Klaedtke, Felix  and Milewicz, Reed  and Reger, Giles  and Rosu, Grigore  and Signoles, Julien  and Thoma, Daniel  and Zalinescu, Eugen  and Zhang, Yi Bartocci},
  title = {First international {C}ompetition on {R}untime {V}erification: rules, benchmarks, tools, and final results of {CRV} 2014},
  journal = {International Journal on Software Tools for Technology Transfer},
  year = 2017,
  pages = {1--40},
  doi = {10.1007/s10009-017-0454-5},
}