{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:57:07Z","timestamp":1725562627355},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540209546"},{"type":"electronic","value":"9783540246435"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24643-5_15","type":"book-chapter","created":{"date-parts":[[2010,8,2]],"date-time":"2010-08-02T14:56:20Z","timestamp":1280760980000},"page":"165-176","source":"Crossref","is-referenced-by-count":7,"title":["High-Level Behavioral SDL Model for the IEEE 802.15.3 MAC Protocol"],"prefix":"10.1007","author":[{"given":"Daniel","family":"Dietterle","sequence":"first","affiliation":[]},{"given":"Irina","family":"Babanskaja","sequence":"additional","affiliation":[]},{"given":"Kai","family":"Dombrowski","sequence":"additional","affiliation":[]},{"given":"Rolf","family":"Kraemer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","unstructured":"IEEE Standard 802: Part 11: Wireless LAN Medium Access Control (MAC) and Physical Layer (PHY) specifications (1999)"},{"key":"15_CR2","unstructured":"Bluetooth SIG: Specification Of The Bluetooth System (1999)"},{"key":"15_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 (WPAN) (2003)"},{"key":"15_CR4","unstructured":"ITU-T: ITU-T Recommendation Z.100 (11\/99). SDL: Specification and Description Language (1999.)"},{"key":"15_CR5","unstructured":"Telelogic AB: Telelogic Tau SDL Suite (2003), Available from http:\/\/www.telelogic.com\/products\/tau\/sdl"},{"key":"15_CR6","unstructured":"Graney, M.: Speeding Up Wireless Standards Development. In: CommsDesign (2000), Available from http:\/\/www.commsdesign.com\/main\/2000\/09\/0009stand.htm"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Leue, S., Oechslin, P.: From SDL Specifications to Optimized Parallel Protocol Implementations. In: Ito, M., Neufeld, G. (eds.) Workshop Proceedings of the Fourth International IFIP Workshop on Protocols for High Speed Networks, pp. 308\u2013328 (1994)","DOI":"10.1007\/978-0-387-34885-8_19"},{"key":"15_CR8","first-page":"37","volume":"1","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":"15_CR9","doi-asserted-by":"crossref","unstructured":"H\u00e4nnik\u00e4inen, M., Knuutila, J., H\u00e4m\u00e4l\u00e4inen, T., Saarinen, J.: Using SDL for Implementing a Wireless Medium Access Control Protocol. In: IEEE International Symposium on Multimedia Software Engineering (MSE 2000), December 2000, pp. 229\u2013236 (2000)","DOI":"10.1109\/MMSE.2000.897216"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"Grass, E., Tittelbach-Helmrich, K., Jagdhold, U., Troya, A., Lippert, G., Kr\u00fcger, O., Lehmann, J., Maharatna, K., Dombrowski, K., Fiebig, N., Kraemer, R., M\u00e4h\u00f6nen, P.: On the Single-Chip Implementation of a Hiperlan\/2 and IEEE 802.11a Capable Modem. IEEE Personal Communications (2001)","DOI":"10.1109\/98.972168"},{"key":"15_CR11","unstructured":"Bl\u00e4sius, S., Karg, S., Maier, J., Kohler, G.: Development of SDL-based software for an embedded system - practical experiences. In: 2nd Workshop on SDL and MSC (SAM 2000), Grenoble (2000)"},{"key":"15_CR12","unstructured":"IEEE Standard 802: Annex D: Formal description of the 802.15.4 operation. In: Draft Standard for Part 15.4: Wireless Medium Access Control (MAC) and Physical Layer (PHY) specifications for Low Rate Wireless Personal Area Networks (LR-WPANs) (February 2003)"},{"key":"15_CR13","unstructured":"IEEE Standard 802: Annex B: Formal description of the 802.15.1 operation. In: Part 15.1: Wireless Medium Access Control (MAC) and Physical Layer (PHY) specifications for Wireless Personal Area Networks (WPANsTM) (2001)"},{"key":"15_CR14","unstructured":"TTP Communications plc: 802.15.3 MAC (July 2003), Available from: http:\/\/www.ttpcom.com\/ttpcom\/products\/802_15_3_MAC.html"},{"key":"15_CR15","unstructured":"Open SystemC Initiative, http:\/\/www.systemc.org"},{"key":"15_CR16","unstructured":"Polis homepage at the University of California at Berkeley, http:\/\/wwwcad.eecs.berkeley.edu\/~polis\/"}],"container-title":["Lecture Notes in Computer Science","Wired\/Wireless Internet Communications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24643-5_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T03:15:51Z","timestamp":1559358951000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24643-5_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540209546","9783540246435"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24643-5_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}