@Inproceedings{EPTCS125.2,
  author    = {Brim, L. and Vejpustek, T. and \v{S}afr\'anek, D. and Fabrikov\'a, J.},
  year      = {2013},
  title     = {Robustness Analysis for Value-Freezing Signal Temporal Logic},
  editor    = {Dang, Thao and Piazza, Carla},
  booktitle = {{\rm Proceedings Second International Workshop on}
               Hybrid Systems and Biology,
               {\rm Taormina, Italy, 2nd September 2013}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {125},
  publisher = {Open Publishing Association},
  pages     = {20-36},
  doi       = {10.4204/EPTCS.125.2},
}