{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:24:01Z","timestamp":1742912641653,"version":"3.40.3"},"publisher-location":"Singapore","reference-count":7,"publisher":"Springer Singapore","isbn-type":[{"type":"print","value":"9789811076046"},{"type":"electronic","value":"9789811076053"}],"license":[{"start":{"date-parts":[[2017,12,20]],"date-time":"2017-12-20T00:00:00Z","timestamp":1513728000000},"content-version":"unspecified","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":[[2018]]},"DOI":"10.1007\/978-981-10-7605-3_89","type":"book-chapter","created":{"date-parts":[[2017,12,19]],"date-time":"2017-12-19T06:22:45Z","timestamp":1513664565000},"page":"540-545","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Failure Analysis in Safety Critical Systems Using Failure State Machine"],"prefix":"10.1007","author":[{"given":"Anit","family":"Thapaliya","sequence":"first","affiliation":[]},{"given":"Daehui","family":"Jeong","sequence":"additional","affiliation":[]},{"given":"Gihwon","family":"Kwon","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,12,20]]},"reference":[{"key":"89_CR1","unstructured":"Thapaliya, A., Kwon, G.: A unified approach for UML based safety oriented level crossing using FTA and model checking. In: Proceedings of the 19th Korea Conference on Software Engineering (KCSE 2017), vol. 19, pp. 89\u201390 (2017)"},{"issue":"1","key":"89_CR2","first-page":"20","volume":"3","author":"AL Opdahl","year":"2012","unstructured":"Opdahl, A.L., Raspotnig, C.: Improving security and safety modelling with failure sequence diagrams. IJSSE 3(1), 20\u201336 (2012)","journal-title":"IJSSE"},{"key":"89_CR3","doi-asserted-by":"crossref","unstructured":"Arabestani, S., Bitsch, F., Gayen, J-T.: Precise definition of the single-track level crossing in radio-based operation in UML notation and specification of safety requirements. Germany (2004)","DOI":"10.1007\/978-3-540-27863-4_9"},{"key":"89_CR4","unstructured":"Raspotnig, C.: Requirements for safe and secure information systems, philosophiae doctor (PH.D.), University of Bergen, Norway (2014)"},{"key":"89_CR5","unstructured":"Angelfoss, J.: CHASSIS Tool: A model-driven approach, Norwegian University of Science and Technology, Norway (2014)"},{"key":"89_CR6","unstructured":"Enry, S., Faure, J.M.: Elaboration of invariant safety properties from fault-tree analysis. In: Proceedings of IMACS-IEEE CESA 2003, Lille, France, 6 p., 9\u201312 July 2003"},{"key":"89_CR7","unstructured":"NuSMV: a new symbolic model checker. \n                  http:\/\/nusmv.fbk.eu\/"}],"container-title":["Lecture Notes in Electrical Engineering","Advances in Computer Science and Ubiquitous Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-10-7605-3_89","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T22:09:16Z","timestamp":1558130956000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-981-10-7605-3_89"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12,20]]},"ISBN":["9789811076046","9789811076053"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-981-10-7605-3_89","relation":{},"ISSN":["1876-1100","1876-1119"],"issn-type":[{"type":"print","value":"1876-1100"},{"type":"electronic","value":"1876-1119"}],"subject":[],"published":{"date-parts":[[2017,12,20]]},"assertion":[{"value":"20 December 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CUTE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Ubiquitous Information Technologies and Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Taichung","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Taiwan","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 December 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 December 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cute2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}