Runtime Monitoring with Recovery of the SENT Communication Protocol. - Konstantin Selyunin; Stefan Jaksic; Thang Nguyen 007; Christian Reidl; Udo Hafner; Ezio Bartocci; Dejan Nickovic; Radu Grosu (CAV (1), 2017)