{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,18]],"date-time":"2026-04-18T04:38:05Z","timestamp":1776487085739,"version":"3.51.2"},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540423454","type":"print"},{"value":"9783540445852","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44585-4_39","type":"book-chapter","created":{"date-parts":[[2010,2,11]],"date-time":"2010-02-11T14:39:50Z","timestamp":1265899190000},"page":"391-395","source":"Crossref","is-referenced-by-count":36,"title":["TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems?"],"prefix":"10.1007","author":[{"given":"Etienne","family":"Closse","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michel","family":"Poize","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jacques","family":"Pulou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joseph","family":"Sifakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrick","family":"Venter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Weil","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sergio","family":"Yovine","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,7,4]]},"reference":[{"key":"39_CR1","doi-asserted-by":"crossref","unstructured":"V. Bertin, M. Poize, J. Pulou, J. Sifakis, Towards Validated Real-Time Software, 12th Euromicro Conference on Real-Time Systems, Stockholm, Sweden, June 2000","DOI":"10.1109\/EMRTS.2000.854003"},{"key":"39_CR2","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"R. Alur, D. Dill, A theory of timed automata, Theoretical Computer Science, 126:183\u2013235, 1994. Elsevier.","journal-title":"Theoretical Computer Science"},{"key":"39_CR3","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19-12","author":"G. Berry","year":"1992","unstructured":"G. Berry, G. Gonthier, The Esterel Synchronous Programming Language: Design, Semantics, Implementation, Science of Computer Programming, vol. 19-12, pp. 87\u2013152, 1992.","journal-title":"Science of Computer Programming"},{"key":"39_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0032342","volume-title":"Hybrid Systems III, Verification and Control","author":"C. Daws","year":"1996","unstructured":"C. Daws, A. Olivero, S. Tripakis and S. Yovine. The tool Kronos. In Hybrid Systems III, Verification and Control, Lecture Notes in Computer Science 1066, Springer-Verlag, 1996."},{"key":"39_CR5","doi-asserted-by":"crossref","unstructured":"D. Weil, V. Bertin, E. Closse, M. Poize, P. Venier, J. Pulou, Efficient Compilation of Esterel for Real-Time Embedded Systems, Proceeding of CASES\u20192000, pp. 2\u20138, San Jose, November 2000.","DOI":"10.1145\/354880.354882"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44585-4_39","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,23]],"date-time":"2019-02-23T14:50:35Z","timestamp":1550933435000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44585-4_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540423454","9783540445852"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/3-540-44585-4_39","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2001]]}}}