{"issue":"3","quality_controlled":0,"date_updated":"2021-01-12T07:59:23Z","abstract":[{"lang":"eng","text":"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."}],"page":"135 - 141","publisher":"Elsevier","extern":1,"intvolume":"        43","status":"public","date_created":"2018-12-11T12:09:16Z","publication_status":"published","year":"1992","month":"09","_id":"4517","publication":"Information Processing Letters","title":"Sooner Is Safer Than Later","volume":43,"day":"14","main_file_link":[{"url":"http://mtc.epfl.ch/~tah/Publications/sooner_is_safer_than_later.pdf","open_access":"0"}],"doi":"10.1016/0020-0190(92)90005-G","date_published":"1992-09-14T00:00:00Z","author":[{"first_name":"Thomas A","full_name":"Thomas Henzinger","orcid":"0000−0002−2985−7724","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"}],"type":"journal_article","citation":{"mla":"Henzinger, Thomas A. “Sooner Is Safer Than Later.” <i>Information Processing Letters</i>, vol. 43, no. 3, Elsevier, 1992, pp. 135–41, doi:<a href=\"https://doi.org/10.1016/0020-0190(92)90005-G\">10.1016/0020-0190(92)90005-G</a>.","ieee":"T. A. Henzinger, “Sooner Is Safer Than Later,” <i>Information Processing Letters</i>, vol. 43, no. 3. Elsevier, pp. 135–141, 1992.","short":"T.A. Henzinger, Information Processing Letters 43 (1992) 135–141.","apa":"Henzinger, T. A. (1992). Sooner Is Safer Than Later. <i>Information Processing Letters</i>. Elsevier. <a href=\"https://doi.org/10.1016/0020-0190(92)90005-G\">https://doi.org/10.1016/0020-0190(92)90005-G</a>","ista":"Henzinger TA. 1992. Sooner Is Safer Than Later. Information Processing Letters. 43(3), 135–141.","ama":"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>","chicago":"Henzinger, Thomas A. “Sooner Is Safer Than Later.” <i>Information Processing Letters</i>. Elsevier, 1992. <a href=\"https://doi.org/10.1016/0020-0190(92)90005-G\">https://doi.org/10.1016/0020-0190(92)90005-G</a>."},"publist_id":"211"}