{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:46:09Z","timestamp":1725515169620},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540709299"},{"type":"electronic","value":"9783540709305"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-70930-5_9","type":"book-chapter","created":{"date-parts":[[2008,7,16]],"date-time":"2008-07-16T15:58:24Z","timestamp":1216223904000},"page":"133-144","source":"Crossref","is-referenced-by-count":10,"title":["Modeling with the Timing Definition Language (TDL)"],"prefix":"10.1007","author":[{"given":"Wolfgang","family":"Pree","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Josef","family":"Templ","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Esterel Technologies Inc., \n                    \n                      http:\/\/www.esterel-technologies.com"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Kirsch, C.M.: Principles of Real-Time Programming. In: EMSOFT 2002. Grenoble LNCS, vol.\u00a02491 (2002)","DOI":"10.1007\/3-540-45828-X_6"},{"key":"9_CR3","unstructured":"Giotto Project, \n                    \n                      http:\/\/embedded.eecs.berkeley.edu\/giotto\/"},{"key":"9_CR4","volume-title":"Proceedings of the International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES)","author":"T.A. Henzinger","year":"2001","unstructured":"Henzinger, T.A., Horowitz, B., Kirsch, C.M.: Embedded control systems development with Giotto. In: Proceedings of the International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), ACM Press, New York (2001)"},{"issue":"1","key":"9_CR5","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1109\/MCS.2003.1172829","volume":"23","author":"T.A. Henzinger","year":"2003","unstructured":"Henzinger, T.A., Kirsch, C.M., Sanvido, M.A.A., Pree, W.: From control models to real-time code using Giotto. IEEE Control Systems Magazine\u00a023(1), 50\u201364 (2003)","journal-title":"IEEE Control Systems Magazine"},{"key":"9_CR6","unstructured":"Templ, J.: Timing Dfinition Language (TDL) 1.2 Specification. Technical Report, on the Web -> Technology -> Further Documents (2007), at \n                    \n                      http:\/\/www.preeTEC.com\/"},{"key":"9_CR7","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1145\/1065910.1065915","volume-title":"Proc. of ACM SIGPLAN\/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES)","author":"E. Farcas","year":"2005","unstructured":"Farcas, E., Farcas, C., Pree, W., Templ, J.: Transparent Distribution of Real-Time Components Based on Logical Execution Time. In: Proc. of ACM SIGPLAN\/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), pp. 31\u201339. ACM Press, New York (2005)"},{"key":"9_CR8","unstructured":"MoDECS (Model-Based Development of distributed, Embedded Control Systems) Project, \n                    \n                      http:\/\/www.MoDECS.cc\/"},{"key":"9_CR9","unstructured":"MagnaSteyr Fahrzeugtechnik, a global brand-independent engineering and manufacturing partner of automakers, \n                    \n                      http:\/\/www.MagnaSteyr.com\/"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Farcas, E., Pree, W., Templ, J.: Bus Scheduling for TDL Components, Dagstuhl conference on. In: Architecting Systems with Trustworthy Components, July 2006. LNCS, Springer, Heidelberg (2006)","DOI":"10.1007\/11786160_4"},{"key":"9_CR11","unstructured":"FlexRay Web site, \n                    \n                      http:\/\/www.FlexRay.com\/"},{"key":"9_CR12","unstructured":"DeComSys\/Elektrobit Web site, \n                    \n                      http:\/\/www.decomsys.com\/"},{"key":"9_CR13","unstructured":"preeTEC Web site, \n                    \n                      http:\/\/www.preeTEC.com\/"}],"container-title":["Lecture Notes in Computer Science","Model-Driven Development of Reliable Automotive Services"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70930-5_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T04:32:41Z","timestamp":1620016361000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70930-5_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540709299","9783540709305"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70930-5_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}