{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T05:57:30Z","timestamp":1774418250268,"version":"3.50.1"},"edition-number":"1","reference-count":0,"publisher":"Cambridge University Press","isbn-type":[{"value":"9780521883337","type":"print"},{"value":"9780511619953","type":"electronic"}],"license":[{"start":{"date-parts":[[2010,1,6]],"date-time":"2010-01-06T00:00:00Z","timestamp":1262736000000},"content-version":"unspecified","delay-in-days":482,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,9,11]]},"abstract":"<jats:p>Real-time systems need to react to certain input stimuli within given time bounds. For example, an airbag in a car has to unfold within 300 milliseconds in a crash. There are many embedded safety-critical applications and each requires real-time specification techniques. This text introduces three of these techniques, based on logic and automata: duration calculus, timed automata, and PLC-automata. The techniques are brought together to form a seamless design flow, from real-time requirements specified in the duration calculus; via designs specified by PLC-automata; and into source code for hardware platforms of embedded systems. The syntax, semantics, and proof methods of the specification techniques are introduced; their most important properties are established; and real-life examples illustrate their use. Detailed case studies and exercises conclude each chapter. Ideal for students of real-time systems or embedded systems, this text will also be of great interest to researchers and professionals in transportation and automation.<\/jats:p>","DOI":"10.1017\/cbo9780511619953","type":"monograph","created":{"date-parts":[[2010,2,17]],"date-time":"2010-02-17T09:27:57Z","timestamp":1266398877000},"source":"Crossref","is-referenced-by-count":60,"title":["Real-Time Systems"],"prefix":"10.1017","author":[{"given":"Ernst-R\u00fcdiger","family":"Olderog","sequence":"first","affiliation":[]},{"given":"Henning","family":"Dierks","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2010,1,6]]},"container-title":[],"original-title":[],"deposited":{"date-parts":[[2022,6,11]],"date-time":"2022-06-11T07:36:38Z","timestamp":1654932998000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/9780511619953\/type\/book"}},"subtitle":["Formal Specification and Automatic Verification"],"short-title":[],"issued":{"date-parts":[[2008,9,11]]},"ISBN":["9780521883337","9780511619953"],"references-count":0,"URL":"https:\/\/doi.org\/10.1017\/cbo9780511619953","relation":{},"subject":[],"published":{"date-parts":[[2008,9,11]]}}}