{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T09:05:37Z","timestamp":1726045537935},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030315139"},{"type":"electronic","value":"9783030315146"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-31514-6_10","type":"book-chapter","created":{"date-parts":[[2019,9,22]],"date-time":"2019-09-22T23:03:06Z","timestamp":1569193386000},"page":"165-180","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Model-Based Energy Characterization of IoT System Design Aspects"],"prefix":"10.1007","author":[{"given":"Alexios","family":"Lekidis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Panagiotis","family":"Katsaros","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,9,23]]},"reference":[{"issue":"2","key":"10_CR1","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1109\/JIOT.2015.2390775","volume":"2","author":"A Aijaz","year":"2015","unstructured":"Aijaz, A., Aghvami, A.H.: Cognitive machine-to-machine communications for Internet-of-Things: a protocol stack perspective. IEEE Internet Things J. 2(2), 103\u2013112 (2015)","journal-title":"IEEE Internet Things J."},{"issue":"1","key":"10_CR2","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1109\/TSG.2014.2324022","volume":"6","author":"A Aijaz","year":"2015","unstructured":"Aijaz, A., Su, H., Aghvami, A.H.: CORPL: a routing protocol for cognitive radio enabled ami networks. IEEE Trans. Smart Grid 6(1), 477\u2013485 (2015)","journal-title":"IEEE Trans. Smart Grid"},{"key":"10_CR3","unstructured":"Antonakakis, M., et al.: Understanding the mirai botnet. In: USENIX Security Symposium, pp. 1092\u20131110 (2017)"},{"key":"10_CR4","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1016\/j.adhoc.2014.07.014","volume":"34","author":"S Basagni","year":"2015","unstructured":"Basagni, S., Petrioli, C., Petroccia, R., Spaccini, D.: CARP: a channel-aware routing protocol for underwater acoustic wireless networks. Ad Hoc Netw. 34, 92\u2013104 (2015)","journal-title":"Ad Hoc Netw."},{"issue":"3","key":"10_CR5","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/MS.2011.27","volume":"28","author":"A Basu","year":"2011","unstructured":"Basu, A., Bensalem, B., Bozga, M., Combaz, J., Jaber, M., Nguyen, T.H., Sifakis, J.: Rigorous component-based system design using the BIP framework. IEEE Softw. 28(3), 41\u201348 (2011). \n                      https:\/\/doi.org\/10.1109\/MS.2011.27","journal-title":"IEEE Softw."},{"key":"10_CR6","unstructured":"Chim, T.W., Yiu, S., Hui, L.C., Li, V.O.: Security and privacy issues for inter-vehicle communications in VANETs. In: 6th Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks Workshops, 2009. SECON Workshops 2009, pp. 1\u20133. IEEE (2009)"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Collina, M., Corazza, G.E., Vanelli-Coralli, A.: Introducing the QEST broker: scaling the IoT by bridging MQTT and REST. In: 2012 IEEE 23rd International Symposium on Personal Indoor and Mobile Radio Communications (PIMRC), pp. 36\u201341. IEEE (2012)","DOI":"10.1109\/PIMRC.2012.6362813"},{"key":"10_CR8","doi-asserted-by":"publisher","unstructured":"Dunkels, A., Osterlind, F., Tsiftes, N., He, Z.: Software-based on-line energy estimation for sensor nodes. In: Proceedings of the 4th Workshop on Embedded Networked Sensors, pp. 28\u201332. ACM (2007). \n                      https:\/\/doi.org\/10.1145\/1278972.1278979","DOI":"10.1145\/1278972.1278979"},{"key":"10_CR9","unstructured":"ETSI, E.: 302 637\u20133 V1. 2.2 (2014\u201311) Intelligent Transport Systems (ITS). Vehicular Communications"},{"key":"10_CR10","first-page":"448","volume":"20","author":"T ETSI","year":"2011","unstructured":"ETSI, T.: Intelligent transport systems (its); vehicular communications; basic set of applications; part 2: specification of cooperative awareness basic service. Draft ETSI TS 20, 448\u2013451 (2011)","journal-title":"Draft ETSI TS"},{"key":"10_CR11","doi-asserted-by":"publisher","first-page":"24","DOI":"10.4204\/EPTCS.272.3","volume":"272","author":"Alexios Lekidis","year":"2018","unstructured":"Lekidis, A., Katsaros, P.: Model-based design of energy-efficient applications for IoT systems. In: Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design, MeTRiD@ETAPS 2018, pp. 24\u201338 (2018). \n                      https:\/\/doi.org\/10.4204\/EPTCS.272.3","journal-title":"Electronic Proceedings in Theoretical Computer Science"},{"issue":"6","key":"10_CR12","doi-asserted-by":"publisher","first-page":"1167","DOI":"10.1002\/spe.2568","volume":"48","author":"Alexios Lekidis","year":"2018","unstructured":"Lekidis, A., Stachtiari, E., Katsaros, P., Bozga, M., Georgiadis, C.K.: Model-based design of IoT systems with the BIP component framework. Software - Practice and Experience (2018). \n                      https:\/\/doi.org\/10.1002\/spe.2568","journal-title":"Software: Practice and Experience"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Nastic, S., Sehic, S., Le, D.H., Truong, H.L., Dustdar, S.: Provisioning software-defined IoT cloud systems. In: 2014 2nd International Conference on Future Internet of Things and Cloud (FiCloud), pp. 288\u2013295. IEEE (2014)","DOI":"10.1109\/FiCloud.2014.52"},{"issue":"2","key":"10_CR14","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/s10009-014-0313-6","volume":"17","author":"A Nouri","year":"2015","unstructured":"Nouri, A., Bensalem, S., Bozga, M., Delahaye, B., Jegourel, C., Legay, A.: Statistical model checking QoS properties of systems with SBIP. Int. J. Software Tools Technol. Transfer 17(2), 171\u2013185 (2015). \n                      https:\/\/doi.org\/10.1007\/s10009-014-0313-6","journal-title":"Int. J. Software Tools Technol. Transfer"},{"key":"10_CR15","unstructured":"Parno, B., Perrig, A.: Challenges in securing vehicular networks. In: Workshop on hot topics in networks (HotNets-IV), pp. 1\u20136. Maryland, USA (2005)"},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"Shelby, Z., Hartke, K., Bormann, C.: The constrained application protocol (CoAP). Technical reports (2014)","DOI":"10.17487\/rfc7252"},{"issue":"2","key":"10_CR17","doi-asserted-by":"publisher","first-page":"482","DOI":"10.1109\/JSEN.2013.2285411","volume":"14","author":"X Vilajosana","year":"2014","unstructured":"Vilajosana, X., Wang, Q., Chraim, F., Watteyne, T., Chang, T., Pister, K.S.: A realistic energy consumption model for TSCH networks. IEEE Sens. J. 14(2), 482\u2013489 (2014). \n                      https:\/\/doi.org\/10.1109\/JSEN.2013.2285411","journal-title":"IEEE Sens. J."},{"key":"10_CR18","unstructured":"Winter, T., et al.: RPL: IPv6 routing protocol for low-power and lossy networks. Technical report (2012)"}],"container-title":["Lecture Notes in Computer Science","From Reactive Systems to Cyber-Physical Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-31514-6_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,22]],"date-time":"2019-09-22T23:27:07Z","timestamp":1569194827000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-31514-6_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030315139","9783030315146"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-31514-6_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"23 September 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}