{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,25]],"date-time":"2026-07-25T17:00:57Z","timestamp":1784998857488,"version":"3.55.0"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032020178","type":"print"},{"value":"9783032020185","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T00:00:00Z","timestamp":1755820800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T00:00:00Z","timestamp":1755820800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-02018-5_24","type":"book-chapter","created":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T10:16:08Z","timestamp":1755771368000},"page":"327-339","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Quantitative Assessment of\u00a0Energy Efficiency, Comfort, and\u00a0Safety in\u00a0an\u00a0Intelligent Heating System Under False Data Injection Attacks"],"prefix":"10.1007","author":[{"given":"Imran Riaz","family":"Hasrat","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sani M.","family":"Abdullahi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Eun-Young","family":"Kang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,8,22]]},"reference":[{"issue":"1","key":"24_CR1","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/s10207-024-00951-8","volume":"24","author":"SM Abdullahi","year":"2025","unstructured":"Abdullahi, S.M., Lazarova-Molnar, S.: On the adoption and deployment of secure and privacy-preserving iiot in smart manufacturing: a comprehensive guide with recent advances. Int. J. Inf. Secur. 24(1), 53 (2025). https:\/\/doi.org\/10.1007\/s10207-024-00951-8","journal-title":"Int. J. Inf. Secur."},{"key":"24_CR2","doi-asserted-by":"crossref","unstructured":"Behrmann, G., David, A., Larsen, K.G.: A tutorial on uppaal. Formal methods for the design of real-time systems, pp. 200\u2013236 (2004)","DOI":"10.1007\/978-3-540-30080-9_7"},{"key":"24_CR3","unstructured":"DataHorizon: Smart HVAC Controls Market To Reach USD 25.5 Billion By 2032 (2023). https:\/\/www.globenewswire.com\/news-release\/2023\/10\/13\/2759963\/0\/en\/Smart-HVAC-Controls-Market-To-Reach-USD-25-5-Billion-By-2032-Says-DataHorizzon-Research.html"},{"key":"24_CR4","doi-asserted-by":"crossref","unstructured":"David, A., Jensen, P.G., Larsen, K.G., Miku\u010dionis, M., Taankvist, J.H.: Uppaal stratego. In: Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings 21. pp. 206\u2013211. Springer (2015)","DOI":"10.1007\/978-3-662-46681-0_16"},{"key":"24_CR5","doi-asserted-by":"publisher","DOI":"10.1016\/j.apenergy.2022.118650","volume":"311","author":"S Ding","year":"2022","unstructured":"Ding, S., Gu, W., Lu, S., Yu, R., Sheng, L.: Cyber-attack against heating system in integrated energy systems: model and propagation mechanism. Appl. Energy 311, 118650 (2022). https:\/\/doi.org\/10.1016\/j.apenergy.2022.118650","journal-title":"Appl. Energy"},{"key":"24_CR6","doi-asserted-by":"crossref","unstructured":"Fu, Y., et al.: Modeling and evaluation of cyber-attacks on grid-interactive efficient buildings. Appl. Energy 303, 117639 (2021).https:\/\/doi.org\/10.1016\/j.apenergy.2021.117639, https:\/\/www.sciencedirect.com\/science\/article\/pii\/S0306261921010060","DOI":"10.1016\/j.apenergy.2021.117639"},{"key":"24_CR7","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/978-3-031-43681-9_7","volume-title":"Formal Methods for Industrial Critical Systems","author":"IR Hasrat","year":"2023","unstructured":"Hasrat, I.R., Jensen, P.G., Larsen, K.G., Srba, J.: Modelling of hot water buffer tank and mixing loop for an intelligent heat pump control. In: Cimatti, A., Titolo, L. (eds.) Formal Methods for Industrial Critical Systems, pp. 113\u2013130. Springer Nature Switzerland, Cham (2023)"},{"key":"24_CR8","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2023.102987","volume":"230","author":"IR Hasrat","year":"2023","unstructured":"Hasrat, I.R., Jensen, P.G., Larsen, K.G., Srba, J.: A toolchain for domestic heat-pump control using uppaal stratego. Sci. Comput. Program. 230, 102987 (2023). https:\/\/doi.org\/10.1016\/j.scico.2023.102987","journal-title":"Sci. Comput. Program."},{"key":"24_CR9","unstructured":"Imran Riaz, H., Sani M.\u00a0Abdullahi, E.Y.K.: Complete model for \u201cQuantitative Assessment of Performance and Safety in an Intelligent Heating System Under False Data Injection Attacks\u201d (2025). https:\/\/github.com\/ImranRiazAAU\/SecurityAndSafetyInOnlineHeatingControl"},{"key":"24_CR10","unstructured":"Juhl, R., M\u00f8ller, J.K., Madsen, H.: ctsmr-continuous time stochastic modeling in r. arXiv preprint arXiv:1606.00242 (2016)"},{"key":"24_CR11","doi-asserted-by":"crossref","unstructured":"Liu, Y., Ning, P., Reiter, M.K.: False data injection attacks against state estimation in electric power grids. ACM Trans. Inf. Syst. Secur. 14(1) (2011). 10.1145\/1952982.1952995, https:\/\/doi.org\/10.1145\/1952982.1952995","DOI":"10.1145\/1952982.1952995"},{"key":"24_CR12","doi-asserted-by":"crossref","unstructured":"Mahmud, R., Kotagiri, R., Buyya, R.: Fog computing: a taxonomy, survey and future directions, pp. 103\u2013130. Springer Singapore, Singapore (2018). 10.1007\/978-981-10-5861-5_5, https:\/\/doi.org\/10.1007\/978-981-10-5861-5_5","DOI":"10.1007\/978-981-10-5861-5_5"},{"issue":"11","key":"24_CR13","doi-asserted-by":"publisher","first-page":"3614","DOI":"10.1109\/TIE.2009.2028364","volume":"57","author":"T Novak","year":"2010","unstructured":"Novak, T., Gerstinger, A.: Safety- and security-critical services in building automation and control systems. IEEE Trans. Industr. Electron. 57(11), 3614\u20133621 (2010). https:\/\/doi.org\/10.1109\/TIE.2009.2028364","journal-title":"IEEE Trans. Industr. Electron."},{"issue":"11","key":"24_CR14","doi-asserted-by":"publisher","first-page":"2715","DOI":"10.1109\/TAC.2013.2266831","volume":"58","author":"F Pasqualetti","year":"2013","unstructured":"Pasqualetti, F., D\u00f6rfler, F., Bullo, F.: Attack detection and identification in cyber-physical systems. IEEE Trans. Autom. Control 58(11), 2715\u20132729 (2013). https:\/\/doi.org\/10.1109\/TAC.2013.2266831","journal-title":"IEEE Trans. Autom. Control"},{"key":"24_CR15","doi-asserted-by":"publisher","DOI":"10.1016\/j.enconman.2024.118949","volume":"319","author":"Y Qiao","year":"2024","unstructured":"Qiao, Y., Chen, D., Sun, Q.Z., Tian, G., Wang, W.: Unveiling stealthy man-in-the-middle cyber-attacks on energy performance in grid-interactive smart buildings. Energy Convers. Manage. 319, 118949 (2024). https:\/\/doi.org\/10.1016\/j.enconman.2024.118949","journal-title":"Energy Convers. Manage."},{"issue":"5","key":"24_CR16","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1109\/JIOT.2016.2579198","volume":"3","author":"W Shi","year":"2016","unstructured":"Shi, W., Cao, J., Zhang, Q., Li, Y., Xu, L.: Edge computing: vision and challenges. IEEE Internet Things J. 3(5), 637\u2013646 (2016). https:\/\/doi.org\/10.1109\/JIOT.2016.2579198","journal-title":"IEEE Internet Things J."},{"key":"24_CR17","unstructured":"Tian, G., Sun, Q.Z., Qiao, Y.: Sensor attacks and resilient defense on hvac systems for energy market signal tracking (2023). https:\/\/arxiv.org\/abs\/2310.15413"},{"key":"24_CR18","doi-asserted-by":"crossref","unstructured":"V\u00e4h\u00e4kainu, P., Lehto, M., Kariluoto, A.: Cyberattacks against critical infrastructure facilities and corresponding countermeasures, pp. 255\u2013292. Springer International Publishing, Cham (2022). 10.1007\/978-3-030-91293-2_11, https:\/\/doi.org\/10.1007\/978-3-030-91293-2_11","DOI":"10.1007\/978-3-030-91293-2_11"},{"issue":"2","key":"24_CR19","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/s12273-018-0475-3","volume":"12","author":"S Yoon","year":"2019","unstructured":"Yoon, S., Yu, Y., Wang, J., Wang, P.: Impacts of hvacr temperature sensor offsets on building energy performance and occupant thermal comfort. Build. Simul. 12(2), 259\u2013271 (2019). https:\/\/doi.org\/10.1007\/s12273-018-0475-3","journal-title":"Build. Simul."}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-02018-5_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,25]],"date-time":"2026-07-25T16:06:20Z","timestamp":1784995580000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-02018-5_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,22]]},"ISBN":["9783032020178","9783032020185"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-02018-5_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,8,22]]},"assertion":[{"value":"22 August 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SAFECOMP","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computer Safety, Reliability, and Security","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Stockholm","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Sweden","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 September 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 September 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"44","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"safecomp2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/safecomp2025.se\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}