{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T07:29:40Z","timestamp":1771658980656,"version":"3.50.1"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319249117","type":"print"},{"value":"9783319249124","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-24912-4_3","type":"book-chapter","created":{"date-parts":[[2015,10,6]],"date-time":"2015-10-06T18:07:30Z","timestamp":1444154850000},"page":"27-41","source":"Crossref","is-referenced-by-count":12,"title":["SDL - The IoT Language"],"prefix":"10.1007","author":[{"given":"Edel","family":"Sherratt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ileana","family":"Ober","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emmanuel","family":"Gaudin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pau","family":"Fonseca i Casas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Finn","family":"Kristoffersen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,11,28]]},"reference":[{"key":"3_CR1","doi-asserted-by":"publisher","first-page":"2787","DOI":"10.1016\/j.comnet.2010.05.010","volume":"54","author":"L Atzori","year":"2010","unstructured":"Atzori, L., Iera, A., Morabito, G.: The internet of things: a survey. Comput. Netw. 54, 2787\u20132805 (2010). Elsevier","journal-title":"Comput. Netw."},{"issue":"1","key":"3_CR2","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/j.cosrev.2010.09.006","volume":"5","author":"T Baumgartner","year":"2011","unstructured":"Baumgartner, T., Chatzigiannakis, I., Fekete, S.P., Fischer, S., Koninis, C., Kr\u00f6ller, A., Krger, D., Mylonas, G., Pfisterer, D.: Distributed algorithm engineering for networks of tiny artifacts. Comput. Sci. Rev 5(1), 85\u2013102 (2011). Elsevier (Science Direct)","journal-title":"Comput. Sci. Rev"},{"key":"3_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1007\/978-3-642-36757-1_12","volume-title":"System Analysis and Modeling: Theory and Practice","author":"M Brumbulli","year":"2013","unstructured":"Brumbulli, M., Fischer, J.: Simulation configuration modeling of distributed communication systems. In: Haugen, \u00d8., Reed, R., Gotzhein, R. (eds.) SAM 2012. LNCS, vol. 7744, pp. 198\u2013211. Springer, Heidelberg (2013)"},{"issue":"1","key":"3_CR4","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/j.cosrev.2010.09.003","volume":"5","author":"I Chatzigiannakis","year":"2011","unstructured":"Chatzigiannakis, I., Mylonas, G., Vitaletti, A.: Urban pervasive applications: challenges, scenarios and case studies. Comput. Sci. Rev. 5(1), 103\u2013118 (2011). Elsevier (SciVerse ScienceDirect Journals)","journal-title":"Comput. Sci. Rev."},{"key":"3_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-642-36757-1_8","volume-title":"System Analysis and Modeling: Theory and Practice","author":"J Fischer","year":"2013","unstructured":"Fischer, J., Redlich, J.-P., Scheuermann, B., Schiller, J., G\u00fcnes, M., Nagel, K., Wagner, P., Scheidgen, M., Zubow, A., Eveslage, I., Sombrutzki, R., Juraschek, F.: From earthquake detection to traffic surveillance \u2013 about information and communication infrastructures for smart cities. In: Haugen, \u00d8., Reed, R., Gotzhein, R. (eds.) SAM 2012. LNCS, vol. 7744, pp. 121\u2013141. Springer, Heidelberg (2013)"},{"key":"3_CR6","doi-asserted-by":"publisher","unstructured":"Fonseca i Casas, P., Fonseca i Casas, A., Garrido-Soriano, N., Casanovas. J.: Formal Simulation Model to Optimize Building Sustainability. Adv. Eng. Softw. 69, 62\u201374 (2014). doi:\n                      10.1016\/j.advengsoft.2013.12.009","DOI":"10.1016\/j.advengsoft.2013.12.009"},{"key":"3_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/978-3-642-38911-5_15","volume-title":"SDL 2013: Model-Driven Dependability Engineering","author":"P Fonseca i Casas","year":"2013","unstructured":"Fonseca i Casas, P., Pi, X., Casanovas, J., Jov\u00e9, J.: Definition of virtual reality simulation models using specification and description language diagrams. In: Khendek, F., Toeroe, M., Gherbi, A., Reed, R. (eds.) SDL 2013. LNCS, vol. 7916, pp. 258\u2013274. Springer, Heidelberg (2013). doi:\n                      10.1007\/978-3-642-38911-5"},{"issue":"7","key":"3_CR8","doi-asserted-by":"publisher","first-page":"538","DOI":"10.1038\/nphys3028","volume":"10","author":"J Hecht","year":"2014","unstructured":"Hecht, J.: The internet of **** things. Nat. Phys. 10(7), 538\u2013538 (2014)","journal-title":"Nat. Phys."},{"key":"3_CR9","unstructured":"ISO 16484\u20131:2010: Building Automation and Control Systems (BACS) - Part 1: Project Specification and Implementation, ISO 2010"},{"key":"3_CR10","unstructured":"ITU-T: Z.100 Series for SDL 2010, International Telecommunications Union 2011\u20132015"},{"key":"3_CR11","unstructured":"KNX Association: System Specifications (2014). \n                      http:\/\/www.knx.org\/en-us\/knx\/technology\/specifications\/index.php"},{"key":"3_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/11506843_7","volume-title":"SDL 2005: Model Driven","author":"T Kuhn","year":"2005","unstructured":"Kuhn, T., Geraldy, A., Gotzhein, R., Rothl\u00e4nder, F.: ns+SDL \u2013 the network simulator for SDL systems. In: Prinz, A., Reed, R., Reed, J. (eds.) SDL 2005. LNCS, vol. 3530, pp. 103\u2013116. Springer, Heidelberg (2005)"},{"key":"3_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/11880240_7","volume-title":"Model Driven Engineering Languages and Systems","author":"T Kuhn","year":"2006","unstructured":"Kuhn, T., Gotzhein, R., Webel, C.: Model-driven development with SDL \u2013 process, tools, and experiences. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 83\u201397. Springer, Heidelberg (2006)"},{"issue":"6","key":"3_CR14","doi-asserted-by":"publisher","first-page":"880","DOI":"10.1002\/rob.21420","volume":"29","author":"M Neal","year":"2012","unstructured":"Neal, M., Blanchard, T., Hubbard, A., Chauch\u00e9, N., Bates, R., Woodward, J.: A hardware proof of concept for a remote-controlled glacier-surveying boat. J. Field Robot. 29(6), 880\u2013890 (2012). Wiley Periodicals","journal-title":"J. Field Robot."},{"issue":"1","key":"3_CR15","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1016\/j.conbuildmat.2007.11.012","volume":"23","author":"O Ortiz","year":"2009","unstructured":"Ortiz, O., Castells, F., Sonnemann, G.: Sustainability in the construction industry: a review of recent developments based on LCA. Constr. Build. Mater. 23(1), 28\u201339 (2009)","journal-title":"Constr. Build. Mater."},{"key":"3_CR16","unstructured":"Pefhany, S.: Modbus Protocol, vol. 5. Penthon Media Inc. (2000)"},{"key":"3_CR17","unstructured":"Reaper, D.: Google IO 2015 Live Conference Keynote - Brillo & Weave. YouTube Video, 11:08 minutes, May 2015. \n                      https:\/\/www.youtube.com\/watch?v=-BSRSCPxiPg\n                      \n                    . Accessed 4 Jun 2015"},{"key":"3_CR18","unstructured":"The Royal Academy of Engineering and The British Computer Society: The Challenges of Complex IT Projects. The Report of a Working Group from The Royal Academy of Engineering and The British Computer Society, The Royal Academy of Engineering (2004). \n                      http:\/\/bcs.org\/upload\/pdf\/complexity.pdf\n                      \n                    . Accessed 4 Jun 2015"}],"container-title":["Lecture Notes in Computer Science","SDL 2015: Model-Driven Engineering for Smart Cities"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-24912-4_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T03:58:07Z","timestamp":1559275087000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-24912-4_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319249117","9783319249124"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24912-4_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]}}}