@inbook{HavelundRTZ-RVBOOK17,
  author = {Klaus Havelund and Giles Reger and Daniel Thoma and Eugen Zalinescu},
  title = {Monitoring {E}vents that {C}arry {D}ata},
  editor = {Ezio Bartocci and Ylies Falcone},
  year = 2017,
  publisher = {Springer},
}