{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:38:05Z","timestamp":1725457085629},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540555643"},{"type":"electronic","value":"9783540472186"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/bfb0032008","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T01:36:29Z","timestamp":1134264989000},"page":"573-602","source":"Crossref","is-referenced-by-count":5,"title":["Verification of safety critical systems using TTM\/RTTL"],"prefix":"10.1007","author":[{"given":"J. S.","family":"Ostroff","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,26]]},"reference":[{"key":"24_CR1","doi-asserted-by":"crossref","unstructured":"K.M. Chandy and J. Misra. Parallel program design. Addison-Wesley, 1988.","DOI":"10.1007\/978-1-4613-9668-0_6"},{"key":"24_CR2","unstructured":"D. Gries. The Science of Programming. Springer-Verlag, 1985."},{"key":"24_CR3","unstructured":"F. Kroger. Temporal Logics of Programs, volume 8 of EATCS Monographs on Theoretical Computer Science. Springer-Verlag, 1987."},{"key":"24_CR4","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli. How to cook a temporal proof system for your pet language. In Proceedings of the Symposium on Principles of Programming Languages, pages 141\u2013154, Austin, Texas, January 1983.","DOI":"10.1145\/567067.567082"},{"key":"24_CR5","first-page":"163","volume-title":"Technical report","author":"Z. Manna","year":"1983","unstructured":"Z. Manna and A. Pnueli. Verification of concurrent programs: a temporal proof system. Technical report, Dept. of Computer Science, Stanford University, June 1983. See also Foundations of Computer Science IV, Amsterdam, Mathematical Center Tracts, pages 163\u2013225, 1983."},{"key":"24_CR6","unstructured":"J.S. Ostroff. Real-time computer control of discrete event systems modelled by extended state machines: a temporal logic approach. Technical Report 8618, Systems Control Group, Dept. of Electrical Engineering, University of Toronto, September 1986. revised January 1987."},{"key":"24_CR7","doi-asserted-by":"crossref","unstructured":"J.S. Ostroff. Mechanizing the verification of real-time discrete systems. In Proceedings of the 15th Symposium on Microprocessing and Microprogramming. North-Holland, September 1989.","DOI":"10.1016\/0165-6074(89)90127-0"},{"key":"24_CR8","volume-title":"Advanced Software Development Series","author":"J.S. Ostroff","year":"1989","unstructured":"J.S. Ostroff. Temporal Logic for Real-Time Systems. Advanced Software Development Series. Research Studies Press Limited (distributed by John Wiley and Sons), England, 1989."},{"issue":"2","key":"24_CR9","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1109\/71.80145","volume":"1","author":"J.S. Ostroff","year":"1990","unstructured":"J.S. Ostroff. Deciding properties of timed transition models. IEEE Transactions on Parallel and Distributed Systems, 1(2):170\u2013183, April 1990.","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"key":"24_CR10","doi-asserted-by":"crossref","unstructured":"J.S. Ostroff. A logic for real-time discrete event processes. IEEE Control Systems Magzine, June 1990.","DOI":"10.1109\/37.56283"},{"key":"24_CR11","doi-asserted-by":"crossref","unstructured":"J.S. Ostroff. Constraint logic programming for reasoning about discrete event processes. The Journal of Logic Programming, 1991. (In Press).","DOI":"10.1016\/0743-1066(91)90028-N"},{"key":"24_CR12","first-page":"522","volume-title":"Proceedings of the ECC91 European Control Conference","author":"J.S. Ostroff","year":"1991","unstructured":"J.S. Ostroff. Systematic development of real-time discrete event systems. In Proceedings of the ECC91 European Control Conference, pages 522\u2013533, Paris, France, July 1991. Hermes Press."},{"key":"24_CR13","doi-asserted-by":"crossref","unstructured":"J.S. Ostroff. A verifier for real-time properties. Real-Time Journal, 1992. (In press).","DOI":"10.1007\/BF00365462"},{"key":"24_CR14","doi-asserted-by":"crossref","unstructured":"J.S. Ostroff and W.M. Wonham. A temporal logic approach to real time control. In Proceedings of the 24th IEEE Conference on Decision and Control, pages 656\u2013657, Florida, December 1985.","DOI":"10.1109\/CDC.1985.268574"},{"key":"24_CR15","doi-asserted-by":"crossref","unstructured":"J.S. Ostroff and W.M. Wonham. A framework for real-time discrete event control. IEEE Transactions on Automatic Control, April 1990.","DOI":"10.1109\/9.52290"},{"key":"24_CR16","doi-asserted-by":"crossref","unstructured":"Amir Pnueli. Applications of temporal logic to the specification and verification of reactive systems: a survey of current trends. In J. de Bakker, W.P de Roever, and G. Rozenburg, editors, Current trends in concurrency, LNCS 244. Springer-Verlag, 1986.","DOI":"10.1007\/BFb0027047"}],"container-title":["Lecture Notes in Computer Science","Real-Time: Theory in Practice"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0032008","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T09:47:49Z","timestamp":1586598469000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0032008"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540555643","9783540472186"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/bfb0032008","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}