Runtime Monitoring with Recovery of the SENT Communication Protocol

@inproceedings{Selyunin2017RuntimeMW,
  title={Runtime Monitoring with Recovery of the SENT Communication Protocol},
  author={Konstantin Selyunin and Stefan Jaksic and Thang Nguyen and Christian Reidl and Udo Hafner and Ezio Bartocci and Dejan Nickovic and Radu Grosu},
  booktitle={CAV},
  year={2017}
}