{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:15:01Z","timestamp":1725455701939},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540638117"},{"type":"electronic","value":"9783540696513"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0025079","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T07:56:54Z","timestamp":1132387014000},"page":"611-623","source":"Crossref","is-referenced-by-count":0,"title":["System level design of microcontroller applications applications"],"prefix":"10.1007","author":[{"given":"Christoph","family":"Schaffer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Johannes","family":"Zeindl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"50_CR1","unstructured":"Ferenc Belina, Dieter Hogrefe, and Amardeo Sarma. SDL with Applications from Protocol Specifications. Prentice Hall, 1991."},{"key":"50_CR2","unstructured":"Rolv Braek and Oystein Haugen. Engineering Real Time Systems. BCS Practitioners Series. Prentice Hall, 1993."},{"key":"50_CR3","unstructured":"ITU-T. CCITT Specification and Description Language (SDL). ITU-T Recommendation Z.100. International Telecommunication Union, Geneva, 1993."},{"key":"50_CR4","unstructured":"ITU-T. CCITT Specification and Description Language (SDL). ITU-T Recommendation Z.100 \u2014 Annex F.1. International Telecommunication Union, Geneva, 1993."},{"key":"50_CR5","unstructured":"ITU-T. SDL Methodology Guidlines. ITU-T Recommendation Z.100 \u2014 Appendicies I and II. International Telecommunication Union, Geneva, 1993."},{"issue":"10","key":"50_CR6","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1109\/6.540088","volume":"33","author":"A. R. Khan","year":"1996","unstructured":"Ata R. Khan. Workhorses of the electronic era. IEEE Specturm, 33(10):36\u201342, 1996.","journal-title":"IEEE Specturm"},{"key":"50_CR7","doi-asserted-by":"crossref","unstructured":"Chr. Schaffer, R.J. Raschhofer, and A. Simma. EaSy-Sim: A Tool Environment for the Design of Complex, Real-Time Systems. In F.Pichler, R.Moreno Diaz, and R. Albrecht, editors, Computer Aided Systems Theory EUROCAST 95, number 1030 in Lecture Notes in Computer Science. Springer Verlag, 1995.","DOI":"10.1007\/BFb0034773"},{"key":"50_CR8","unstructured":"Christoph Schaffer. Casa \u2014 computer aided systems architecting: Konzepte und methodik. Technical Report TR-141-96, Johannes Kepler University, Institute for Systems Science, August 1996. in German."},{"key":"50_CR9","unstructured":"Kenneth J. Turner, editor. Using Formal Description Techniques: An Introduction to ESTELLE, LO TOS and SDL. Wiley Series 1 in Communication 1and Distributed Systems. John Wiley & Sons, 1993."},{"key":"50_CR10","unstructured":"Verilog. ObjectGEODE \u2014 Object Oriented Real-time Techniques: Method Guidlines, April 1996. Document Reference: D\/GPPP\/MA\/100\/609."},{"key":"50_CR11","unstructured":"Verilog. Tutorial \u2014 ObjectGEODE, April 1997. Document Reference: D\/GXXX\/GA\/110\/714."}],"container-title":["Lecture Notes in Computer Science","Computer Aided Systems Theory \u2014 EUROCAST'97"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0025079","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T01:38:42Z","timestamp":1586569122000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0025079"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540638117","9783540696513"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/bfb0025079","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}