Sooner Is Safer Than Later Henzinger, Thomas A ; https://orcid.org/0000−0002−2985−7724 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. Elsevier 1992 info:eu-repo/semantics/article doc-type:article text http://purl.org/coar/resource_type/c_2df8fbb1 https://research-explorer.ista.ac.at/record/4517 Henzinger TA. Sooner Is Safer Than Later. <i>Information Processing Letters</i>. 1992;43(3):135-141. doi:<a href="https://doi.org/10.1016/0020-0190(92)90005-G">10.1016/0020-0190(92)90005-G</a> eng info:eu-repo/semantics/altIdentifier/doi/10.1016/0020-0190(92)90005-G info:eu-repo/semantics/altIdentifier/issn/0020-0190 info:eu-repo/semantics/closedAccess