@article{4517,
  abstract     = {It has been observed repeatedly that the standard safety-liveness classification for properties of reactive systems does not fit for real-time properties. This is because the implicit “liveliness” of time shifts the spectrum towards the safety side. While, for example, response—that “something good” will happen eventually—is a classical liveness property, bounded response—that “something good” will happen soon, within a certain amount of time—has many characteristics of safety. We account for this phenomenon formally by defining safety and liveness relative to a given condition, such as the progress of time.},
  author       = {Henzinger, Thomas A},
  issn         = {0020-0190},
  journal      = {Information Processing Letters},
  number       = {3},
  pages        = {135 -- 141},
  publisher    = {Elsevier},
  title        = {{Sooner Is Safer Than Later}},
  doi          = {10.1016/0020-0190(92)90005-G},
  volume       = {43},
  year         = {1992},
}