{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:57:53Z","timestamp":1725551873795},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540321583"},{"type":"electronic","value":"9783540321590"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11669463_18","type":"book-chapter","created":{"date-parts":[[2006,1,19]],"date-time":"2006-01-19T07:21:38Z","timestamp":1137655298000},"page":"228-243","source":"Crossref","is-referenced-by-count":4,"title":["Transforming Protocol Specifications for Wireless Sensor Networks into Efficient Embedded System Implementations"],"prefix":"10.1007","author":[{"given":"Gerald","family":"Wagenknecht","sequence":"first","affiliation":[]},{"given":"Daniel","family":"Dietterle","sequence":"additional","affiliation":[]},{"given":"Jean-Pierre","family":"Ebert","sequence":"additional","affiliation":[]},{"given":"Rolf","family":"Kraemer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","unstructured":"ITU-T: ITU-T Recommendation Z.100 (11\/99). SDL: Specification and Description Language (1999)"},{"key":"18_CR2","unstructured":"Telelogic AB: Telelogic Tau SDL Suite (2004), \n                    \n                      http:\/\/www.telelogic.com\/products\/tau\/sdl"},{"key":"18_CR3","unstructured":"IEEE Standard 802: Part 15.3: Wireless Medium Access Control (MAC) and Physical Layer (PHY) Specifications for High Rate Wireless Personal Area Networks (2003)"},{"key":"18_CR4","unstructured":"BASUMA - Body Area System for Ubiquitous Multimedia Applications, \n                    \n                      http:\/\/www.basuma.de"},{"key":"18_CR5","unstructured":"Nolte, J.: Reflex - Realtime Event FLow EXecutive (2005), \n                    \n                      http:\/\/www-bs.informatik.tu-cottbus.de\/38.html?&L=2"},{"key":"18_CR6","unstructured":"Walther, K., Hemmerling, R., Nolte, J.: Generic Trigger Variables and Event Flow Wrappers in Reflex. In: ECOOP \u2014 Workshop on Programming Languages and Operating Systems (2004)"},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"Hill, J., Szewczyk, R., Woo, A., Hollar, S., Culler, D., Pister, K.: System Architecture Directions for Networked Sensors. In: Architectural Support for Programming Languages and Operating Systems (2000)","DOI":"10.1145\/378993.379006"},{"key":"18_CR8","unstructured":"Graney, M.: Speeding Up Wireless Standards Development. In: CommsDesign (2000), \n                    \n                      http:\/\/www.commsdesign.com\/main\/2000\/09\/0009stand.htm"},{"key":"18_CR9","first-page":"37","volume":"Q1","author":"C. Drosos","year":"2001","unstructured":"Drosos, C., Zayadine, M., Metafas, D.: Embedded real-time communication protocol development using SDL for ARM microprocessor. Dedicated Systems Magazine\u00a0Q1, 37\u201343 (2001)","journal-title":"Dedicated Systems Magazine"},{"key":"18_CR10","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1109\/MMSE.2000.897216","volume-title":"IEEE International Symposium on Multimedia Software Engineering","author":"M. H\u00e4nnik\u00e4inen","year":"2000","unstructured":"H\u00e4nnik\u00e4inen, M., Knuutila, J., H\u00e4m\u00e4l\u00e4inen, J., Saarinen, J.: Using SDL for Implementing a Wireless Medium Access Control Protocol. In: IEEE International Symposium on Multimedia Software Engineering, pp. 229\u2013236. IEEE Computer Society, Los Alamitos (2000)"},{"key":"18_CR11","unstructured":"Beutel, J., Dogan, A.: Using TinyOS on BTnodes. In: R\u00f6mer, K. (ed.) 4. GI\/ITG KuVS Fachgespr\u00e4ch \u201cDrahtlose Sensornetze\u201d. Technischer Bericht TR 481, Departement Informatik, ETH Z\u00fcrich, pp. 6\u201310 (2005)"},{"key":"18_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/978-3-540-24643-5_15","volume-title":"Wired\/Wireless Internet Communications","author":"D. Dietterle","year":"2004","unstructured":"Dietterle, D., Bababanskaja, I., Dombrowski, K., Kraemer, R.: High-Level Behavioral SDL Model for the IEEE 802.15.3 MAC Protocol. In: Langendoerfer, P., Liu, M., Matta, I., Tsaoussidis, V. (eds.) WWIC 2004. LNCS, vol.\u00a02957, pp. 165\u2013176. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","Wireless Sensor Networks"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11669463_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T03:13:46Z","timestamp":1619493226000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11669463_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540321583","9783540321590"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/11669463_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}