{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:07:21Z","timestamp":1725664041384},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584681"},{"type":"electronic","value":"9783540489849"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58468-4_188","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:15:44Z","timestamp":1330272944000},"page":"641-659","source":"Crossref","is-referenced-by-count":4,"title":["Specification and verification of controlled systems"],"prefix":"10.1007","author":[{"given":"Henny B.","family":"Sipma","sequence":"first","affiliation":[]},{"given":"Zohar","family":"Manna","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"32_CR1","doi-asserted-by":"crossref","unstructured":"M. Abadi and L. Lamport. Composing specifications. In J.W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors, Stepwise Refinement of Distributed Systems, Lecture Notes in Computer Science 430, pages 1\u201341. Springer-Verlag, 1990.","DOI":"10.1007\/3-540-52559-9_59"},{"key":"32_CR2","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"D. Harel. Statecharts: A visual Formalism for Complex Systems. Science of Computer Programming, 8, pages 231\u2013274, 1987.","journal-title":"Science of Computer Programming"},{"key":"32_CR3","doi-asserted-by":"crossref","unstructured":"T.A. Henzinger, and Z. Manna, and A. Pnueli. Towards Refining Temporal Specifications into Hybrid Systems. In R.L. Grossman, A. Nerode, A.P. Ravn, H. Rischel, editors, Hybrid Systems, Lecture Notes in Computer Science 736, pages 60\u201376. Springer Verlag, 1993.","DOI":"10.1007\/3-540-57318-6_24"},{"issue":"3","key":"32_CR4","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1109\/32.75414","volume":"17","author":"M.S. Jaffe","year":"1991","unstructured":"M.S. Jaffe, N.G. Leveson, M.P.E. Heimdahl, B.E. Melhart. Software Requirements Analysis for Real-Time Process-Control Systems. IEEE Transactions on Software Engineering 17:3, pages 241\u2013258, 1991.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"32_CR5","doi-asserted-by":"crossref","unstructured":"A. Kapur, T.A. Henzinger, Z. Manna, A. Pnueli. Proving Safety Properties of Hybrid Systems This volume, 1994.","DOI":"10.1007\/3-540-58468-4_177"},{"key":"32_CR6","doi-asserted-by":"crossref","unstructured":"Y. Kesten, A. Pnueli. Timed and Hybrid Statecharts and their Textual Representation. In J.Vytopil, editor, Formal Techniques in Real-Time and Fault-Tolerant Systems, Lecture Notes in Computer Science 571, pages 591\u2013619, Springer Verlag, 1992.","DOI":"10.1007\/3-540-55092-5_32"},{"key":"32_CR7","doi-asserted-by":"crossref","first-page":"609","DOI":"10.1007\/BF01191722","volume":"30","author":"Z. Manna","year":"1993","unstructured":"Z. Manna, A. Pnueli. Models for reactivity. Acta Informatica, 30, pages 609\u2013678, 1993.","journal-title":"Acta Informatica"},{"key":"32_CR8","doi-asserted-by":"crossref","unstructured":"Z. Manna, A. Pnueli. Temporal Verification of Reactive Systems. To be published by Springer Verlag, to appear 1994.","DOI":"10.1007\/978-1-4612-4222-2"},{"key":"32_CR9","doi-asserted-by":"crossref","unstructured":"A. Nerode, W. Kohn. Models for Hybrid Systems: Automata, Topologies, Controllability, Observability. In R.L. Grossman, A. Nerode, A.P. Ravn, H. Rischel, editors, Hybrid Systems, Lecture Notes in Computer Science 736, pages 317\u2013365. Springer Verlag, 1993.","DOI":"10.1007\/3-540-57318-6_35"},{"key":"32_CR10","unstructured":"J.S. Ostroff. Temporal Logic of Real-Time Systems. Advanced Software Development Series, Research Studies Press (John Wiley & Sons), 1990."},{"key":"32_CR11","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1109\/32.210306","volume":"19","author":"A.P. Ravn","year":"1993","unstructured":"A.P. Ravn, H. Rischel, K.M. Hansen. Specifying and Verifying Requirements of Real-Time Systems. IEEE Transactions on Software Engineering, 19, pages 41\u201355, 1993.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"32_CR12","unstructured":"H.B. Sipma, Z. Manna. Interactive Design and Verification of Controlled Systems. In Hybrid Systems and Autonomous Control Workshop, to appear 1994."}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58468-4_188.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:21:50Z","timestamp":1605648110000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58468-4_188"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584681","9783540489849"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-58468-4_188","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}