{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T06:11:41Z","timestamp":1776838301118,"version":"3.51.2"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540443070","type":"print"},{"value":"9783540458289","type":"electronic"}],"license":[{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45828-x_19","type":"book-chapter","created":{"date-parts":[[2007,9,21]],"date-time":"2007-09-21T13:59:11Z","timestamp":1190383151000},"page":"252-265","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":34,"title":["A Protocol for Loosely Time-Triggered Architectures"],"prefix":"10.1007","author":[{"given":"Albert","family":"Benveniste","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Caspi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul Le","family":"Guernic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Herv\u00e9","family":"Marchand","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean -Pierre","family":"Talpin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stavros","family":"Tripakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,10,24]]},"reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"R. Alur, T.A. Henzinger, and M.Y. Vardi. Parametric Real-time Reasoning. In Proc. of the 25th Annual Symposium on Theory of Computing (STOC), ACM Press, 1993, pp. 592\u2013601.","DOI":"10.1145\/167088.167242"},{"key":"19_CR2","unstructured":"R. Bannatyne. Time Triggered Protocol: TTP\/C, Embedded Systems Programming, 9\/98, pp. 52\u201354."},{"key":"19_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/3-540-48320-9_13","volume-title":"CONCUR\u201999, Concurrency Theory, 10th International Conference","author":"A. Benveniste","year":"1999","unstructured":"A. Benveniste, B. Caillaud, and P. Le Guernic. From synchrony to asynchrony. In J.C.M. Baeten and S. Mauw, editors, CONCUR\u201999, Concurrency Theory, 10th International Conference, volume 1664 of Lecture Notes in Computer Science, pages 162\u2013177. Springer, August 1999."},{"key":"19_CR4","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1006\/inco.2000.9999","volume":"163","author":"A. Benveniste","year":"2000","unstructured":"A. Benveniste, B. Caillaud, and P. Le Guernic. Compositionality in dataflow synchronous languages: specification & distributed code generation. Information and Computation, 163, 125\u2013171 (2000).","journal-title":"Information and Computation"},{"key":"19_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1007\/3-540-45449-7_3","volume-title":"Proc. of 1st Int. Workshop on Embedded Software, EMSOFT\u201901","author":"A. Benveniste","year":"2001","unstructured":"A. Benveniste. Some synchronization issues when designing embedded systems from components. In Proc. of 1st Int. Workshop on Embedded Software, EMSOFT\u201901, T.A. Henzinger and C.M. Kirsch Eds., LNCS 2211, 32\u201349, Springer Verlag, 2001."},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"P. Caspi, C. Mazuet, R. Salem, and D. Weber. Formal design of distributed control systems with lustre. In Proc. Safecomp\u201999, September 1999.","DOI":"10.1007\/3-540-48249-0_34"},{"key":"19_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1007\/3-540-45449-7_7","volume-title":"Proc. of 1st Int. Workshop on Embedded Software, EMSOFT\u201901","author":"P. Caspi","year":"2001","unstructured":"P. Caspi. Embedded control: from asynchrony to synchrony and back. In Proc. of 1st Int. Workshop on Embedded Software, EMSOFT\u201901, T.A. Henzinger and C.M. Kirsch Eds., LNCS 2211, 80\u201396, Springer Verlag, 2001."},{"key":"19_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0032342","volume-title":"Proceedings of \u201dHybrid Systems III, Verification and Control","author":"C. Daws","year":"1996","unstructured":"C Daws, A. Olivero, S. Tripakis, and S. Yovine. The tool Kronos. In Proceedings of \u201dHybrid Systems III, Verification and Control\u201d, 1996. Lecture Notes in Computer Science 1066, Springer-Verlag."},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"P. Le Guernic, T. Gautier, M. Le Borgne, C. Le Maire. Programming Real-Time Applications with Signal. Proceedings of the IEEE, 79(9):1321\u20131336, September 1991.","DOI":"10.1109\/5.97301"},{"key":"19_CR10","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, Twente, M. Nivat and C Rattray and T. Rus and G. Scollo, Eds., Workshops in Computing, Springer Verlag. Jun. 1993.","DOI":"10.1007\/978-1-4471-3227-1_8"},{"key":"19_CR11","unstructured":"H. Kopetz, Real-Time Systems: Design Principles for Distributed Embedded Applications. Kluwer Academic Publishers. 1997. ISBN 0-7923-9894-7."},{"key":"19_CR12","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"L. Lamport. Time, clocks and the ordering of events in a distributed system. Communication of the ACM, 21:558\u2013565, 1978.","journal-title":"Communication of the ACM"},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"Kim G. Larsen, P. Pettersson, and Wang Yi. UPPAAL in a Nutshell. In Springer International Journal of Software Tools for Technology Transfer, 1(1\u20132), 134\u2013152, Dec. 1997.","DOI":"10.1007\/s100090050010"},{"issue":"1","key":"19_CR14","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/S0167-6423(00)00020-4","volume":"41","author":"H. Marchand","year":"2001","unstructured":"H. Marchand, E. Rutten, M. Le Borgne, M. Samaan. Formal Verification of SIGNAL programs: Application to a Power Transformer Station Controller. Science of Computer Programming, 41(1):85\u2013104, Aug. 2001.","journal-title":"Science of Computer Programming"},{"issue":"2","key":"19_CR15","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1145\/322186.322188","volume":"27","author":"M. Pease","year":"1980","unstructured":"M. Pease, R.E. Shostak, and L. Lamport. Reaching agreement in the presence of faults. Journal of the ACM, 27(2):228\u2013237, 1980.","journal-title":"Journal of the ACM"},{"key":"19_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"306","DOI":"10.1007\/3-540-45449-7_22","volume-title":"Proc. of 1st Int. Workshop on Embedded Software, EMSOFT\u201901","author":"J. Rushby","year":"2001","unstructured":"J. Rushby. Bus architectures for safety-critical embedded systems. In Proc. of 1st Int. Workshop on Embedded Software, EMSOFT\u201901, T.A. Henzinger and C.M. Kirsch Eds., LNCS 2211, 306\u2013323, Springer Verlag, 2001."}],"container-title":["Lecture Notes in Computer Science","Embedded Software"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45828-X_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T14:09:40Z","timestamp":1558274980000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45828-X_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540443070","9783540458289"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-45828-x_19","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2002]]},"assertion":[{"value":"24 October 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}