@inproceedings{BasinKMZ-RV14,
  author = {David Basin and Felix Klaedtke and Srdjan Marinovic and Eugen Zalinescu},
  title = {On {R}eal-{T}ime {M}onitoring with {I}mprecise {T}imestamps},
  booktitle = {5th International Conference on Runtime Verification (RV'2014)},
  year = 2014,
  pages = {193--198},
  series = {Lecture Notes in Computer Science},
  volume = {8734},
  publisher = {Springer},
  doi = {10.1007/978-3-319-11164-3_16},
}