{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T05:37:36Z","timestamp":1742967456132,"version":"3.40.3"},"publisher-location":"Singapore","reference-count":9,"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_198","type":"book-chapter","created":{"date-parts":[[2017,12,19]],"date-time":"2017-12-19T06:22:45Z","timestamp":1513664565000},"page":"1244-1249","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Reliability and Control Theory: An Integration Approach for Safety Analysis"],"prefix":"10.1007","author":[{"given":"Anit","family":"Thapaliya","sequence":"first","affiliation":[]},{"given":"Gihwon","family":"Kwon","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,12,20]]},"reference":[{"key":"198_CR1","unstructured":"Yan, F., Tang, T., Yan, H.: Scenario Based STPA Analysis in Automated Urban Guided Transport System, China (2016)"},{"key":"198_CR2","volume-title":"Engineering a Safer World: Systems Thinking Applied to Safety","author":"N Leveson","year":"2011","unstructured":"Leveson, N.: Engineering a Safer World: Systems Thinking Applied to Safety. MIT Press, Cambridge (2011)"},{"key":"198_CR3","unstructured":"Thapaliya, A., Kwon, G.: A unified approach for UML based safety oriented level crossing using FTA and model checking. In: 19th Korea Conference on Software Engineering, pp. 89\u201390 (2017)"},{"key":"198_CR4","unstructured":"Blakley, F., Weber, J., Habibi, R.: Prospective hazard analysis for information systems. In: IEEE International Conference on Healthcare Informatics (2014)"},{"key":"198_CR5","doi-asserted-by":"crossref","unstructured":"Jeong, D., Thapaliya, A., Kwon, G.: A case study of hierarchical safety analysis for eliciting traceable safety requirements. In: Advanced Multimedia and Ubiquitous Engineering, pp. 474\u2013480 (2017)","DOI":"10.1007\/978-981-10-5041-1_76"},{"key":"198_CR6","unstructured":"Jong, H., Jeong, H., Han, C.: A study on the HAZOP-KR for hazard analysis of train control systems. In: The Korean Society for Railway Symposium, pp. 369\u2013403 (2010)"},{"key":"198_CR7","unstructured":"Leveson, N.: A new accident model for engineering safer systems. Saf. Sci. 42, 237\u2013270 (2004)"},{"key":"198_CR8","volume-title":"Extending and Automating a Systems-Theoretic Hazard Analysis for Requirements Generation and Analysis","author":"J Thomas","year":"2013","unstructured":"Thomas, J.: Extending and Automating a Systems-Theoretic Hazard Analysis for Requirements Generation and Analysis. MIT Press, Boston (2013)"},{"key":"198_CR9","unstructured":"Abdulkhaleq, A.: A System-Theoretic Safety Engineering Approach for Software Intensive Systems. University of Stuttgart, Germany  (2017)"}],"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_198","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T22:13:33Z","timestamp":1558131213000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-981-10-7605-3_198"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12,20]]},"ISBN":["9789811076046","9789811076053"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-981-10-7605-3_198","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"}}]}}