{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T15:36:45Z","timestamp":1742398605044},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540443070"},{"type":"electronic","value":"9783540458289"}],"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_30","type":"book-chapter","created":{"date-parts":[[2007,9,21]],"date-time":"2007-09-21T13:59:11Z","timestamp":1190383151000},"page":"407-421","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Processes, Interfaces and Platforms. Embedded Software Modeling in Metropolis"],"prefix":"10.1007","author":[{"given":"F.","family":"Balarin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L.","family":"Lavagno","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Passerone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Y.","family":"Watanabe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,10,24]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"F. Balarin, L. Lavagno, C. Passerone, A. Sangiovanni-Vincentelli, M. Sgroi, and Y. Watanabe. Modeling and designing heterogeneous systems. Technical Report 2002\/01, Cadence Berkeley Laboratories, January 2002.","key":"30_CR1","DOI":"10.1007\/3-540-36190-1_7"},{"doi-asserted-by":"crossref","unstructured":"J. Cortadella, A. Kondratyev, L. Lavagno, M. Massot, S. Moral, C. Passerone, Y. Watanabe, and A. Sangiovanni-Vincentelli. Task Generation and Compile-Time Scheduling for Mixed Data-Control Embedded Software. In Proceedings of the 37th Design Automation Conference, June 2000.","key":"30_CR2","DOI":"10.1145\/337292.337553"},{"doi-asserted-by":"crossref","unstructured":"E.A. de Kock, G. Essink, W.J.M. Smits, P. van der Wolf, J.-Y. Brunel, W.M. Kruijtzer, P. Liev-erse, and K.A. Vissers. YAPI: Application Modeling for Singal Processing Systems. In Proceedings of the 37\n                        \n                  th\n                \n                        Design Automation Conference, June 2000.","key":"30_CR3","DOI":"10.1109\/DAC.2000.855344"},{"doi-asserted-by":"crossref","unstructured":"H. Kopetz and G. Grunsteidl. TTP-A protocol for fault-tolerant real-time systems. IEEE Computer, 27(1), January 1994.","key":"30_CR4","DOI":"10.1109\/2.248873"},{"doi-asserted-by":"crossref","unstructured":"E. A. Lee and D. G. Messerschmitt. Static scheduling of synchronous data flow graphs for digital signal processing. IEEE Transactions on Computers, January 1987.","key":"30_CR5","DOI":"10.1109\/TC.1987.5009446"},{"doi-asserted-by":"crossref","unstructured":"A. Pnueli. The temporal logic of programs. In Proc. 18th Annual IEEE Symposium on Foundations of Computer Sciences, pages 46\u201357, 1977.","key":"30_CR6","DOI":"10.1109\/SFCS.1977.32"},{"unstructured":"A. Sangiovanni-Vincentelli and A. Ferrari. System design-traditional concepts and new paradigms. In International COnference on Computer Design, ICCD\u2019 99, October 1999.","key":"30_CR7"},{"doi-asserted-by":"crossref","unstructured":"P. van der Wolf, P. Lieverse, M. Goel, D.L. Hei, and K. Vissers. An MPEG-2 Decoder Case Study as a Driver for a System Level Design Methodology. In Proceedings of the 7\n                        \n                  th\n                \n                        International Workshop on Hardware\/Software Codesign, May 1999.","key":"30_CR8","DOI":"10.1145\/301177.301196"}],"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_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T14:10:59Z","timestamp":1558275059000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45828-X_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540443070","9783540458289"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-45828-x_30","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]},"assertion":[{"value":"24 October 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}