{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T19:59:20Z","timestamp":1757620760388,"version":"3.44.0"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031971143"},{"type":"electronic","value":"9783031971150"}],"license":[{"start":{"date-parts":[[2025,8,2]],"date-time":"2025-08-02T00:00:00Z","timestamp":1754092800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,8,2]],"date-time":"2025-08-02T00:00:00Z","timestamp":1754092800000},"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-031-97115-0_12","type":"book-chapter","created":{"date-parts":[[2025,8,1]],"date-time":"2025-08-01T06:02:16Z","timestamp":1754028136000},"page":"179-191","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Autonomous Systems: Towards an Assessment of the Reliability"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5534-7712","authenticated-orcid":false,"given":"Tullio J.","family":"Tanzi","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0009-0004-9988-2249","authenticated-orcid":false,"given":"Sophie","family":"Coudert","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,8,2]]},"reference":[{"key":"12_CR1","first-page":"101","volume":"4","author":"B Mukhopadhay","year":"2015","unstructured":"Mukhopadhay, B., Bhattacherjee, B.: Use of information technology in emergency and disaster management. Am. J. Environ. Prot. 4, 101\u2013104 (2015)","journal-title":"Am. J. Environ. Prot."},{"key":"12_CR2","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1016\/j.crhy.2019.03.001","volume":"20","author":"T Tanzi","year":"2019","unstructured":"Tanzi, T., Isnard, J.: Autonomous system for data collection: location and mapping issues in post-disaster environment. C. R. Phys. 20, 204\u2013217 (2019)","journal-title":"C. R. Phys."},{"key":"12_CR3","first-page":"66","volume":"7","author":"D Stormont","year":"2009","unstructured":"Stormont, D., Allan, V.: Managing risk in disaster scenarios with autonomous robots. J. Systemics Cybern. Inform. 7, 66\u201371 (2009)","journal-title":"J. Systemics Cybern. Inform."},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Tanzi, T.J., Isnard, J.: Public Safety Network: an Overview, chap. 1, in: Wireless Public Safety Networks 1, edited by: C\u00e2mara, D., Nikaein, N. (2015). ISBN 9781785480225","DOI":"10.1016\/B978-1-78548-022-5.50001-7"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Tanzi, T., Chandra, M.: Propagation modelling towards the design of drone borne GPR for humanitarian applications. In: XXXII General Assembly of the International Union of Radio Science, pp. 19\u201326, Montreal (2017)","DOI":"10.1016\/j.crhy.2018.01.002"},{"key":"12_CR6","volume-title":"Propagation Issues Relevant to the De- sign of a Drone Borne GPR (Ground Penetrating Radars), Klein- heubacher Tagung 2016 (KHB 2016), 26\u201328 September 2016","author":"M Chandra","year":"2016","unstructured":"Chandra, M., Tanzi, T.: Propagation Issues Relevant to the De- sign of a Drone Borne GPR (Ground Penetrating Radars), Klein- heubacher Tagung 2016 (KHB 2016), 26\u201328 September 2016. Miltenberg, Germany (2016)"},{"key":"12_CR7","unstructured":"Tanzi, T., Roudier, Y., Apvrille, L.: Towards a new architecture for autonomous data collection, ISPRS Geospatial Week 2015: Workshop on civil Unmanned Aerial Vehicles for geospatial data acquisition, 1\u20132 October 2015, La Grande Motte (Montpellier) (2015)"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"Apvrille, L., Tanzi, T., Roudier, Y., Dugelay, J.L.: Drone humanitaire: \u00e9tat de l\u2019art et r\u00e9flexions, Revue Fran\u00e7aise de Photogramm\u00e9trie et de T\u00e9l\u00e9d\u00e9tection 213\u2013214, 63\u201371 (2017). ISSN 1768\u20139791","DOI":"10.52638\/rfpt.2017.201"},{"key":"12_CR9","doi-asserted-by":"publisher","unstructured":"Tanzi, T., Chandra, M., Isnard, J., Camara, D., Sebastien, O., Harivelo, F.: Towards \u201cdrone-borne\u201d disaster management: future application scenarios. In: ISPRS Ann Photogramm. Remote Sens. Spatial Inf. Sci., vol. III-8, pp. 181\u2013189 (2016). https:\/\/doi.org\/10.5194\/isprs-annals-III-8-181-2016","DOI":"10.5194\/isprs-annals-III-8-181-2016"},{"key":"12_CR10","unstructured":"Thrun, S., Burgard, W., Fox, D.: Probabilistic Robotics, The MIT Press, Cambridge (2005). ISBN 9780262201629"},{"key":"12_CR11","volume-title":"Feasibility Assessment of a Drone borne Ground Penetrating Radar Sensor for Humanitarian Applications in the context of Disaster Management, 1st URSI Atlantic Radio Science Conference (URSI AT RASC), 16\u201324 May 2015","author":"M Chandra","year":"2015","unstructured":"Chandra, M., Tanzi, T.: Feasibility Assessment of a Drone borne Ground Penetrating Radar Sensor for Humanitarian Applications in the context of Disaster Management, 1st URSI Atlantic Radio Science Conference (URSI AT RASC), 16\u201324 May 2015. Gran Canaria, Spain (2015)"},{"key":"12_CR12","volume-title":"Digital terrain modeling: principles and methodology","author":"Z Li","year":"2005","unstructured":"Li, Z., Zhu, Q., Gold, C.: Digital terrain modeling: principles and methodology. CRC Press, Boca Raton, USA (2005)"},{"key":"12_CR13","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1016\/j.crhy.2018.01.002","volume":"19","author":"M Chandra","year":"2018","unstructured":"Chandra, M., Tanzi, T.: Drone-borne GPR design: propagation issues. C. R. Phys. 19, 72\u201384 (2018). https:\/\/doi.org\/10.1016\/j.crhy.2018.01.002","journal-title":"C. R. Phys."},{"key":"12_CR14","unstructured":"Chandra, M., Tanzi, T.: Drone-Borne GPR Design: Propagation Issues, in: Journ\u00e9es scientifiques de l\u2019URSI-France (JS\u201917), 1\u2013 3 February 2007, Sophia Antipolis (2017)"},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"Bertolino, M., Tanzi, T.: Advanced Robot 3D Simulation Inter- face for Disaster Management, Kleinheubach Conference, 23\u2013 25 September 2019, Miltenberg, Germany, pp. 1\u20134 (2019)","DOI":"10.5194\/ars-18-23-2020"},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"Abrial, J.R.: The B-book: Assigning Programs to Meanings. New York, NY, USA: Cambridge University Press (1996)","DOI":"10.1017\/CBO9780511624162"},{"key":"12_CR17","unstructured":"Coudert, S., Legros, D.: Formal methods and abstraction for a safe and feasible Design, Journ\u00e9es Scientifiques U.R.S.I., Sophia Antipolis, France (2017)"},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"Platzer, A.: A complete axiomatization of quantified differential dynamic logic for distributed hybrid systems. Logical Methods Comput. Sci. 8(4), 1\u201344 (2012)","DOI":"10.2168\/LMCS-8(4:17)2012"},{"key":"12_CR19","doi-asserted-by":"crossref","unstructured":"Dupont, G., A\u00eft-Ameur, Y., Pantel, M., Singh, N.K.: An event-B based generic framework for hybrid systems formal modelling. In: Integrated Formal Methods, pp. 82\u2013102. Springer (2020)","DOI":"10.1007\/978-3-030-63461-2_5"},{"key":"12_CR20","doi-asserted-by":"crossref","unstructured":"Abrial, J.-R.: Modeling in Event-B: System and Software Engineering. New York, Cambridge University Press, 1st ed., (2010)","DOI":"10.1017\/CBO9781139195881"},{"key":"12_CR21","doi-asserted-by":"publisher","unstructured":"Pedroza, G., Apvrille, L., Knorreck, D.: AVATAR: A SysML Environment for the formal verification of safety and security properties. In: 2011 11th Annual International Conference on New Technologies of Distributed Systems, pp. 1\u201310 (2011). https:\/\/doi.org\/10.1109\/NOTERE.2011.5957992","DOI":"10.1109\/NOTERE.2011.5957992"},{"key":"12_CR22","doi-asserted-by":"crossref","unstructured":"Genius, D., Li, L., Apvrille, L., Tanzi, T.: Multi-level latency evaluation with an MDE approach. In: Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018), pp. 295\u2013302 (2018). ISBN: 978\u2013989\u2013758\u2013283\u20137","DOI":"10.5220\/0006535902950302"},{"key":"12_CR23","unstructured":"Liu, J.W.S.: Real-time Systems, 1st edn., Prentice Hall, Upper Saddle River, NJ, USA https:\/\/dl.acm.org\/doi\/book\/10. Accessed 9 Dec 2020"},{"key":"12_CR24","doi-asserted-by":"crossref","unstructured":"Berger, A.S.: Embedded Systems Design: An Introduction to Processes, Tools, and Techniques, CMP Books, Berkeley, CA (2002). ISBN 1578200733","DOI":"10.1201\/9781482280715"},{"key":"12_CR25","volume-title":"Introduction to Embedded Systems, TEQIP Course at IITK, IIT Kanpur, 29 August 2016","author":"SK Shukla","year":"2016","unstructured":"Shukla, S.K.: Introduction to Embedded Systems, TEQIP Course at IITK, IIT Kanpur, 29 August 2016. Kanpur, India (2016)"}],"container-title":["IFIP Advances in Information and Communication Technology","Information Technology in Disaster Risk Reduction"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-97115-0_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,8]],"date-time":"2025-09-08T10:26:02Z","timestamp":1757327162000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-97115-0_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,2]]},"ISBN":["9783031971143","9783031971150"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-97115-0_12","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1868-422X"}],"subject":[],"published":{"date-parts":[[2025,8,2]]},"assertion":[{"value":"2 August 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ITDRR","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Information Technology in Disaster Risk Reduction","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Krems an der Donau","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Austria","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 October 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 October 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"itdrr2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/itdrr.org\/conference\/itdrr2024","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}