{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T14:27:00Z","timestamp":1743085620503,"version":"3.40.3"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319684857"},{"type":"electronic","value":"9783319684864"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-68486-4_6","type":"book-chapter","created":{"date-parts":[[2017,11,17]],"date-time":"2017-11-17T13:33:29Z","timestamp":1510925609000},"page":"61-76","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Formal Methods for Safe Design of Autonomous Systems Dedicated to Risk Management"],"prefix":"10.1007","author":[{"given":"Sophie","family":"Coudert","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tullio Joseph","family":"Tanzi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,11,18]]},"reference":[{"key":"6_CR1","unstructured":"Sil4 railway software (2016). http:\/\/www.clearsy.com\/en\/our-specific-know-how\/b-method\/"},{"key":"6_CR2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-Book: Assigning Programs to Meanings","author":"JR Abrial","year":"1996","unstructured":"Abrial, J.R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, New York (1996)"},{"key":"6_CR3","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881","volume-title":"Modeling in Event-B: System and Software Engineering","author":"JR Abrial","year":"2010","unstructured":"Abrial, J.R.: Modeling in Event-B: System and Software Engineering, 1st edn. Cambridge University Press, New York (2010)","edition":"1"},{"key":"6_CR4","unstructured":"Ackerman, E.: Drone adventures uses UAVs to help make the world a better place. IEEE Spectrum, May 2013"},{"key":"6_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-85729-018-2_2","volume-title":"An Overview of Formal Methods Tools and Techniques","author":"JB Almeida","year":"2011","unstructured":"Almeida, J.B., Frade, M.J., Pinto, J.S., de Sousa, S.M.: An Overview of Formal Methods Tools and Techniques, 1st edn. Springer, London (2011). https:\/\/doi.org\/10.1007\/978-0-85729-018-2_2. Chapter 2","edition":"1"},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/978-3-642-32759-9_8","volume-title":"FM 2012: Formal Methods","author":"M Asplund","year":"2012","unstructured":"Asplund, M., Manzoor, A., Bouroche, M., Clarke, S., Cahill, V.: A formal approach to autonomous vehicle coordination. In: Giannakopoulou, D., M\u00e9ry, D. (eds.) FM 2012. LNCS, vol. 7436, pp. 52\u201367. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-32759-9_8"},{"key":"6_CR7","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/978-3-319-07512-9_9","volume-title":"ABZ 2014: The Landing Gear Case Study","author":"R Banach","year":"2014","unstructured":"Banach, R.: The landing gear case study in hybrid event-B. In: Boniol, F., Wiels, V., Ait Ameur, Y., Schewe, K.-D. (eds.) ABZ 2014. CCIS, vol. 433, pp. 126\u2013141. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-07512-9_9"},{"issue":"3","key":"6_CR8","doi-asserted-by":"publisher","first-page":"488","DOI":"10.1109\/TSMCA.2012.2210406","volume":"43","author":"ML Bolton","year":"2013","unstructured":"Bolton, M.L., Bass, E.J., Siminiceanu, R.I.: Using formal verification to evaluate human-automation interaction: a review. IEEE Trans. Syst. Man Cybern.: Syst. 43(3), 488\u2013503 (2013)","journal-title":"IEEE Trans. Syst. Man Cybern.: Syst."},{"issue":"1\u20132","key":"6_CR9","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1016\/j.rse.2006.02.006","volume":"102","author":"R Chatterjee","year":"2006","unstructured":"Chatterjee, R., Fruneau, B., Rudant, J., Roy, P., Frison, P., Lakhera, R., Dadhwal, V., Saha, R.: Subsidence of Kolkata (Calcutta) city, India during the 1990s as observed from space by differential synthetic aperture radar interferometry technique. Remote Sens. Environ. 102(1\u20132), 176\u2013185 (2006)","journal-title":"Remote Sens. Environ."},{"key":"6_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-658-09994-7","volume-title":"Formal Modeling and Verification of Cyber-Physical Systems. 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015","author":"R Drechsler","year":"2015","unstructured":"Drechsler, R., Khne, U.: Formal Modeling and Verification of Cyber-Physical Systems. 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-658-09994-7"},{"key":"6_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-319-05032-4_13","volume-title":"Software Engineering and Formal Methods","author":"A Fantechi","year":"2014","unstructured":"Fantechi, A.: Twenty-five years of formal methods and railways: what next? In: Counsell, S., N\u00fa\u00f1ez, M. (eds.) SEFM 2013. LNCS, vol. 8368, pp. 167\u2013183. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-05032-4_13"},{"key":"6_CR12","doi-asserted-by":"publisher","DOI":"10.1002\/9781118459898.ch4","volume-title":"Some Trends in Formal Methods Applications to Railway Signaling","author":"A Fantechi","year":"2012","unstructured":"Fantechi, A., Fokkink, W., Morzenti, A.: Some Trends in Formal Methods Applications to Railway Signaling. Wiley, Hoboken (2012). pp. 61\u201384"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Fitzgerald, J., Gamble, C., Larsen, P.G., Pierce, K., Woodcock, J.: Cyber-physical systems design: formal foundations, methods and integrated tool chains. In: FormaliSE 2015, Florence, Italy, 18 May 2015, pp. 40\u201346. IEEE (2015)","DOI":"10.1109\/FormaliSE.2015.14"},{"key":"6_CR14","unstructured":"Guha-Sapir, D., Hoyois, P., Below, R.: Annual disaster statistical review 2012: the number and trends. CRED, Brussels, Belgium (2012)"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Heitmeyer, C.L., Leonard, E.I.: Obtaining trust in autonomous systems: tools for formal model synthesis and validation. In: FormaliSE 2015, pp. 54\u201360. IEEE Press, Piscataway, NJ, USA (2015)","DOI":"10.1109\/FormaliSE.2015.16"},{"issue":"2","key":"6_CR16","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/s10515-014-0157-z","volume":"22","author":"CL Heitmeyer","year":"2015","unstructured":"Heitmeyer, C.L., Pickett, M., Leonard, E.I., Archer, M.M., Ray, I., Aha, D.W., Trafton, J.G.: Building high assurance human-centric decision systems. Autom. Softw. Eng. 22(2), 159\u2013197 (2015)","journal-title":"Autom. Softw. Eng."},{"key":"6_CR17","unstructured":"Lecomte, T., Burdy, L., Leuschel, M.: Formally checking large data sets in the railways. CoRR abs\/1210.6815 (2012)"},{"key":"6_CR18","unstructured":"Lefeuvre, F., Tanzi, T.: International union of radio science, international council for science (ICSU), joint board of geospatial information societies (JBGIS). United Nations office for outer Space Affairs (OOSA) (2013)"},{"key":"6_CR19","unstructured":"Ranft, B., Dugelay, J.L., Apvrille, L.: 3D perception for autonomous navigation of a low-cost MAV using minimal landmarks. In: Proceedings of IMAV\u20192013, Toulouse, France, 17\u201320 September 2013 (2013)"},{"key":"6_CR20","unstructured":"Sato, N., Ishikawa, F.: Separation of considerations in event-B refinement toward industrial use. In: Proceedings of FMSEE&T 2015, Co-located with FM 2015, Oslo, Norway, 23 June 2015, pp. 43\u201350 (2015)"},{"key":"6_CR21","unstructured":"Sommerville, I.: Formal methods. In: Software Engineering, 9th edn. (Teaching Book). Pearson Education (2011). Chapter 27"},{"key":"6_CR22","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1016\/j.crhy.2010.02.002","volume":"11","author":"T Tanzi","year":"2010","unstructured":"Tanzi, T., Lefeuvre, F.: Radio sciences and disaster management. C. R. Phys. 11, 114\u2013224 (2010)","journal-title":"C. R. Phys."},{"key":"6_CR23","unstructured":"Tanzi, T., Perrot, P.: T\u00b4el\u00b4ecoms pour ling\u00b4enierie du risque. editions herms, ed. Collection Technique et Scientifique des T\u00b4el\u00b4ecoms (2009). (in French)"},{"key":"6_CR24","unstructured":"Tanzi, T., Andr, C.: Mod\u00b4elisation synchrone appliqu\u00b4ee la su\u02c6ret\u00b4e de fonctionnement. In: 12`eme Colloque National de Su\u02c6ret\u00b4e de Fonctionnement, 28\u201330 mars 2000. Montpellier - France (2000)"},{"key":"6_CR25","doi-asserted-by":"crossref","unstructured":"Tanzi, T., Apvrille, L., Dugelay, J.L., Roudier, Y.: UAVs for humanitarian missions: autonomy and reliability. In: 2014 IEEE Global Humanitarian Technology Conference (GHTC), pp. 271\u2013278. IEEE (2014)","DOI":"10.1109\/GHTC.2014.6970292"},{"key":"6_CR26","unstructured":"Tanzi, T.J., Lefeuvre, F.: The contribution of radio sciences to disaster management. In: Gi4DM 2011, Antalya, Turkey, May 2011"},{"key":"6_CR27","first-page":"4551","volume":"3358","author":"P Wilkinson","year":"2010","unstructured":"Wilkinson, P., Cole, D.: The role of the radio sciences in the disaster management. Radio Sci. Bull. 3358, 4551 (2010)","journal-title":"Radio Sci. Bull."}],"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-319-68486-4_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,28]],"date-time":"2021-11-28T01:03:09Z","timestamp":1638061389000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-68486-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319684857","9783319684864"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-68486-4_6","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1868-422X"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"18 November 2017","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":"Sofia","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bulgaria","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 November 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 November 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"itdrr2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/itdrr.unwe.bg\/past-conferences\/default.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}