{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:54Z","timestamp":1761611214039},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540651109"},{"type":"electronic","value":"9783540496465"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49646-7_14","type":"book-chapter","created":{"date-parts":[[2007,6,12]],"date-time":"2007-06-12T01:09:52Z","timestamp":1181610592000},"page":"185-195","source":"Crossref","is-referenced-by-count":5,"title":["Verifying a time-triggered protocol in a multi-language environment"],"prefix":"10.1007","author":[{"given":"Agathe","family":"Merceron","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Monika","family":"M\u00fcllerburg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G. Michele","family":"Pinna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,12,14]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"A. Benveniste and G. Berry. The synchronous approach to reactive and real-time systems. Proceedings of the IEEE, 79(9), 1991.","DOI":"10.1109\/5.97297"},{"key":"14_CR2","unstructured":"R. Budde and A. Merceron. A generator of boolean acceptors for safety properties. In A.L. Wendelborn, editor, The 5th Annual Australasian Conference on Parallel and Real-Time Systems, PART\u201998, to appear. Springer-Verlag, 1998."},{"issue":"2","key":"14_CR3","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E. M. Clarke","year":"1986","unstructured":"E. M. Clarke, E. A. Emerson, and A. P. Sistla. Automatic verification of finite-state concurrent sytems using temporal logic specifications. ACM Transactions on Programming Languages and Systems, 8(2):244\u2013263, 1986.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"14_CR4","series-title":"Lect Notes Comput Sci","first-page":"428","volume-title":"8th International Conference on Computer Aided Verification","author":"The VIS Group.","year":"1996","unstructured":"The VIS Group. VIS: A system for verification and synthesis. In 8th International Conference on Computer Aided Verification, volume 1102 of Lecture Notes in Computer Science, pages 428\u2013432, July 1996."},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"N. Halbwachs. Synchronous Programming of Reactive Systems. Kluwer Academic Publishers, 1993.","DOI":"10.1007\/978-1-4757-2231-4"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"N. Halbwachs, F. Lagnier, and P. Raymond. Synchronous observers and the verification of reactive systems. In Third Int. Conf. on Algebraic Methodology and Software Technology, AMAST\u201993, Workshops in Computing. Springer-Verlag, 1993.","DOI":"10.1007\/978-1-4471-3227-1_8"},{"key":"14_CR7","volume-title":"Research report 16\/92","author":"H. Kopetz","year":"1992","unstructured":"H. Kopetz and G. Gr\u00fcnsteidl. A time triggered protocol for automotive applications. Research report 16\/92, Institut f\u00fcr Technische Informatik, Technische Universit\u00e4t Wien, Vienna, Austria1992."},{"key":"14_CR8","unstructured":"O. Maffe\u00cfs and A. Poign\u00cb. Synchronous automata for reactive, real-time and embedded systems. Arbeitspapiere der GMD 967, Forschungszentrum Informations-technik GmbH, January 1996."},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli. The Temporal Logic of Reactive Systems. Springer Verlag, 1992.","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"K. L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.","DOI":"10.1007\/978-1-4615-3190-6"},{"key":"14_CR11","first-page":"27","volume-title":"Proceedings, First International Workshop on Constraint Programming for Time Critical Applications","author":"A. Merceron","year":"1997","unstructured":"A. Merceron and G. M. Pinna. Refinement and modular verification. Proceedings, First International Workshop on Constraint Programming for Time Critical Applications, Schlo\\ Hagenberg, Austria, Oct. 27\u201328, 1997."},{"issue":"4","key":"14_CR12","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/BF00402649","volume":"4","author":"M. M\u00fcllerburg","year":"1995","unstructured":"M. M\u00fcllerburg, L. Holenderski, O. Maffe\u00cfs, A. Merceron, and M. Morley. Systematic testing and formal verification to validate reactive systems. Software Quality Journal, 4(4):287\u2013307, 1995.","journal-title":"Software Quality Journal"},{"key":"14_CR13","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1023\/A:1008697810328","volume":"12","author":"A. Poign\u00e9","year":"1998","unstructured":"A. Poign\u00e9, M. Morley, O. Maffe\u00cfs, L. Holenderski, and R. Budde. The synchronous approach to designing reactive systems. Formal Methods in System Design, 12:163\u2013187, 1998.","journal-title":"Formal Methods in System Design"},{"key":"14_CR14","unstructured":"R. v. Hanxleden, J. Bohne, L. Lavagno, and A. Sangiovanni-Vincentelli. Hardware\/software co-design of a fault-tolerant communication protocol. In Proc. of the IEEE Intern. Workshop on Embedded Fault-Tolerant Systems, 1996."},{"key":"14_CR15","unstructured":"M.Y. Vardi and P. Wolper. An automata theoretic approach to automatic program veri_cation. In Proceedings of the First Annual Symposium on Logic in Computer Science, pages 332\u2013344. IEEE Computer Society Press, 1986."},{"key":"14_CR16","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1016\/S0019-9958(83)80051-5","volume":"56","author":"P. Wolper","year":"1983","unstructured":"P. Wolper. Temporal logic can be more expressive. Information and Control, 56:72\u201399, 1983.","journal-title":"Information and Control"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49646-7_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T21:29:35Z","timestamp":1556486975000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49646-7_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540651109","9783540496465"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-49646-7_14","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}