{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:56:05Z","timestamp":1725537365727},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642045530"},{"type":"electronic","value":"9783642045547"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04554-7_14","type":"book-chapter","created":{"date-parts":[[2009,9,14]],"date-time":"2009-09-14T18:11:16Z","timestamp":1252951876000},"page":"222-238","source":"Crossref","is-referenced-by-count":0,"title":["Modeling LTE Protocol for Mobile Terminals Using a Formal Description Technique"],"prefix":"10.1007","author":[{"given":"Anas","family":"Showk","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Szczesny","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shadi","family":"Traboulsi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Irv","family":"Badr","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elizabeth","family":"Gonzalez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Attila","family":"Bilgic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"International Telecommunications Union: Recommendation Z.100 (11\/07), Specification and Description Language (SDL), \n                    \n                      http:\/\/www.itu.int\/rec\/T-REC-Z.100\/en"},{"key":"14_CR2","unstructured":"International Telecommunications Union: Recommendations Z.161 to Z.170 all (11\/2007) except Z.167 and Z.168 (11\/2008), Testing and Test Control Notation version 3: TTCN-3, \n                    \n                      http:\/\/www.itu.int\/rec\/T-REC-Z.161\/en\n                    \n                    \n                  , \n                    \n                      http:\/\/www.itu.int\/rec\/T-REC-Z.170\/en"},{"key":"14_CR3","unstructured":"Badr, I.: Proven Approach for Developing Next Generation Communications Systems. ESE Magazine\u00a015(6), \n                    \n                      http:\/\/www.esemagazine.com\/pdf\/dl_pdf\/ESE-sep07.pdf"},{"key":"14_CR4","first-page":"229","volume-title":"Proceedings of the 2000 International Conference on Microelectronic Systems Education","author":"M. H\u00e4nnik\u00e4inen","year":"2000","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: Proceedings of the 2000 International Conference on Microelectronic Systems Education, pp. 229\u2013236. IEEE Computer Society, Washington DC (2000)"},{"key":"14_CR5","first-page":"194","volume-title":"66th IEEE Vehicular Technology Conference","author":"S.-G. Park","year":"2007","unstructured":"Park, S.-G., Shin, Y.-S., Kim, D.Y.: Design and Implementation of Protocols Related to Radio Network Layer Over eNB IN 3GPP LTE System. In: 66th IEEE Vehicular Technology Conference, pp. 194\u2013199. IEEE Computer Society, Washington DC (2007)"},{"key":"14_CR6","first-page":"397","volume-title":"Proceedings of the Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation","author":"J.M. \u00c1lvarez","year":"2006","unstructured":"\u00c1lvarez, J.M., C\u00e1mara, P.-d.-l., Mart\u00ednez, J., Merino, P., P\u00e9rez, F.C., Morillo, V.: An SDL Implementation of the UMTS Radio Resource Control Protocol Oriented to Conformance Testing. In: Proceedings of the Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, pp. 397\u2013401. IEEE Computer Society, Washington DC (2006)"},{"key":"14_CR7","first-page":"990","volume-title":"IEEE Vehicular Technology Conference (VTC) 54th","author":"K.-R. Jung","year":"2001","unstructured":"Jung, K.-R., Choi, J., Song, P., Nam, Y.-H.: Design and Implementation of a Radio Resource Control Protocol in WCDMA using SDL. In: IEEE Vehicular Technology Conference (VTC) 54th, vol.\u00a02, pp. 990\u2013994. IEEE Computer Society, Washington DC (2001)"},{"key":"14_CR8","unstructured":"International Telecommunication Union: Recommendation Z.120 (04\/04), Message sequence chart (MSC), \n                    \n                      http:\/\/www.itu.int\/rec\/T-REC-Z.120\/en"},{"key":"14_CR9","unstructured":"3rd Generation Partnership Project (3GPP): The LTE Protocol Specification, 3GPP Rel8, \n                    \n                      http:\/\/www.3gpp.org\/Release-8"},{"key":"14_CR10","volume-title":"3G Evolution: HSPA and LTE for Mobile Broadband","author":"E. Dahlman","year":"2007","unstructured":"Dahlman, E., et al.: 3G Evolution: HSPA and LTE for Mobile Broadband, 1st edn. Academic Press, London (2007)","edition":"1"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Steppler, M.: Performance Analysis of Communication Systems Formally Specified in SDL. In: Proceedings of the 1st International Workshop on Software and Performance (WOSP), pp. 49\u201362 (1998) ISBN:1-58113-060-0","DOI":"10.1145\/287318.287329"},{"key":"14_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-74238-5","volume-title":"Estelle, LOTOS und SDL-Standard Spezifikationssprachen f\u00fcr verteilte Systeme","author":"D. Hogrefe","year":"1989","unstructured":"Hogrefe, D.: Estelle, LOTOS und SDL-Standard Spezifikationssprachen f\u00fcr verteilte Systeme. Springer, Heidelberg (1989)"},{"key":"14_CR13","unstructured":"IBM\u00ae Rational\u00ae, S.D.L.: SuiteTM User Manual, SDL SuiteTM v6.1"},{"key":"14_CR14","unstructured":"3GPP TS 36.321: Evolved Universal Terrestrial Radio Access (E UTRA); Medium Access Control (MAC) Specification, \n                    \n                      http:\/\/www.3gpp.org\/ftp\/Specs\/html-info\/36-series.htm"},{"key":"14_CR15","unstructured":"3GPP TS 36.322: Evolved Universal Terrestrial Radio Access (E UTRA); Radio Link Control (RLC) protocol specification. For URL see [14]"},{"key":"14_CR16","unstructured":"3GPP TS 36.323: Evolved Universal Terrestrial Radio Access (E UTRA); Packet Data Convergence Protocol (PDCP) Specification. For URL see [14]"},{"key":"14_CR17","unstructured":"Internet Society, The Internet Engineering Task Force: RFC 791: Internet Protocol DARPA Internet Program Protocol Specification (September 1981), \n                    \n                      http:\/\/www.ietf.org\/rfc\/rfc0791.txt"}],"container-title":["Lecture Notes in Computer Science","SDL 2009: Design for Motes and Mobiles"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04554-7_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,9]],"date-time":"2019-03-09T23:10:30Z","timestamp":1552173030000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04554-7_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642045530","9783642045547"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04554-7_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}