@inproceedings{BasinHKZ-TIME11,
  author = {David Basin and Matus Harvan and Felix Klaedtke and Eugen Zalinescu},
  title = {Monitoring {U}sage-control {P}olicies in {D}istributed {S}ystems},
  booktitle = {18th International Symposium on Temporal Representation and Reasoning (TIME'11)},
  year = 2011,
  pages = {88--95},
  publisher = {IEEE},
  doi = {10.1109/TIME.2011.14},
}