{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:27:44Z","timestamp":1761488864131,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540616481"},{"type":"electronic","value":"9783540706533"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61648-9_53","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:10:12Z","timestamp":1330294212000},"page":"405-419","source":"Crossref","is-referenced-by-count":7,"title":["Verification of embedded systems using synchronous observers"],"prefix":"10.1007","author":[{"given":"Martin","family":"Westhead","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simin","family":"Nadjm-Tehrani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"23_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, proceedings of the REX workshop on stepwise refinement of distributed systems, LNCS 430, pages 1\u201341. Springer Verlag, 1989.","DOI":"10.1007\/3-540-52559-9_59"},{"key":"23_CR2","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1007\/BF01384499","volume":"6","author":"A. B\u00f8rjesson","year":"1995","unstructured":"A. B\u00f8rjesson, K.G. Larsson, and A. Skou. Generality in Design and Compositional Verification Using TAV. Formal Methods in System Design, 6:239\u2013258, 1995.","journal-title":"Formal Methods in System Design"},{"key":"23_CR3","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1007\/BF01383942","volume":"2","author":"H. De-Leon","year":"1993","unstructured":"H. De-Leon and O. Grumberg. Modular Abstractions for Verifying Real-time Distributed Systems. Formal Methods in System Design, 2:7\u201343, 1993.","journal-title":"Formal Methods in System Design"},{"volume-title":"LNCS 736","year":"1993","key":"23_CR4","unstructured":"R.L. Grossman, A. Nerode, A.P. Ravn, and H. Rischel, editors. Proc. Workshop on Theory of Hybrid Systems, October 1992, LNCS 736, Lyngby, Denmark, 1993. Springer Verlag."},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"N. Halbwachs, F. Lagnier, and P. Raymond. Synchronous observers and the verification of reactive systems. In M. Nivat, C. Rattray, T. Rus, and G. Scollo, editors, Third Int. Conf. on Algebraic Methodology and Software Technology, AMAST'93, Twente, June 1993. Workshops in Computing, Springer Verlag.","DOI":"10.1007\/978-1-4471-3227-1_8"},{"key":"23_CR6","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1007\/BF00122418","volume":"8","author":"L.J. Jagadeesan","year":"1996","unstructured":"L.J. Jagadeesan, C. Puchol, and J.E. Von Olnhausen. A Formal Approach to Reactive Systems Software: A Telecommunications Application in Esterel. Formal Methods in System Design, 8:123\u2013151, 1996.","journal-title":"Formal Methods in System Design"},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"R. Kaivola. Compositional Model Checking for Linear-Time Temporal Logic. In Proc. 4th int. workshop on Computer Aided Verification, pages 248\u2013259. Springer Verlag, 1992.","DOI":"10.1007\/3-540-56496-9_20"},{"key":"23_CR8","unstructured":"R. Milner. Communications and Concurrency. Prentice-Hall, 1989."},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"S. Nadjm-Tehrani and J-E. Str\u00f6mberg. From physical modelling to compositional models of hybrid systems. In Proc. of the 3rd International Conference on Formal Techniques in Real-time and Fault-tolerant Systems, pages 583\u2013604. LLNCS 863, Springer Verlag, 1995.","DOI":"10.1007\/3-540-58468-4_185"},{"key":"23_CR10","doi-asserted-by":"crossref","unstructured":"S. Nadjm-Tehrani and J-E. Str\u00f6mberg. Proving dynamic properties in an aerospace application. In 16th International Symposium on Real-time Systems, pages 2\u201310. IEEE Computer Society Press, December 1995.","DOI":"10.1109\/REAL.1995.495190"},{"key":"23_CR11","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1109\/5.21072","volume":"77","author":"P.J.G. Ramadge","year":"1989","unstructured":"P.J.G. Ramadge and W.M. Wonham. The Control of Discrete Event Systems. Proceedings of the IEEE, 77:81\u201397, 1989.","journal-title":"Proceedings of the IEEE"},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"Martin D. Westhead and John Hallam. Modelling hybrid systems as the limit of discrete computational processes. In International Conference on Robotics and Automation. IEEE, 1996.","DOI":"10.1109\/ROBOT.1996.503841"}],"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-61648-9_53.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:23:49Z","timestamp":1742599429000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61648-9_53"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540616481","9783540706533"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-61648-9_53","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}