{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:50:53Z","timestamp":1740099053299,"version":"3.37.3"},"publisher-location":"Singapore","reference-count":17,"publisher":"Springer Singapore","isbn-type":[{"type":"print","value":"9789811077951"},{"type":"electronic","value":"9789811077968"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"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-7796-8_15","type":"book-chapter","created":{"date-parts":[[2018,1,4]],"date-time":"2018-01-04T01:14:01Z","timestamp":1515028441000},"page":"189-204","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["New Requirements Elicited from Accidents of Train Control System Simulated by Modelica"],"prefix":"10.1007","author":[{"given":"Wen","family":"Zhong","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yan","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaohong","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,1,5]]},"reference":[{"key":"15_CR1","unstructured":"Stamatelatos, M., Vesley, W.: Fault Tree Handbook with Aerospace Applications (Draft). Nasa Office of Safety & Mission Assurance Nasa Headquarters Washington DC (2002)"},{"issue":"3","key":"15_CR2","doi-asserted-by":"crossref","first-page":"324","DOI":"10.1108\/02656710110383737","volume":"18","author":"N Ravi Sankar","year":"2001","unstructured":"Ravi Sankar, N., Prabhu, B.S.: Modified approach for prioritization of failures in a system failure mode and effects analysis. Int. J. Qual. Reliab. Manag. 18(3), 324\u2013336 (2001)","journal-title":"Int. J. Qual. Reliab. Manag."},{"issue":"1","key":"15_CR3","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1016\/j.jhazmat.2009.08.076","volume":"173","author":"J Dunj\u00f3","year":"2010","unstructured":"Dunj\u00f3, J., Fthenakis, V., V\u00edlchez, J.A., et al.: Hazard and operability (HAZOP) analysis. a literature review. J. Hazard. Mater. 173(1), 19\u201332 (2010)","journal-title":"J. Hazard. Mater."},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"Ericson, C.A.: Event tree analysis. In: Hazard Analysis Techniques for System Safety, pp. 223\u2013234 (2005)","DOI":"10.1002\/0471739421.ch12"},{"key":"15_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1007\/3-540-48249-0_35","volume-title":"Computer Safety, Reliability and Security","author":"A Chiappini","year":"1999","unstructured":"Chiappini, A., Cimatti, A., Porzia, C., Rotondo, G., Sebastiani, R., Traverso, P., Villafiorita, A.: Formal specification and development of a safety-critical train management system. In: Felici, M., Kanoun, K. (eds.) SAFECOMP 1999. LNCS, vol. 1698, pp. 410\u2013419. Springer, Heidelberg (1999). \nhttps:\/\/doi.org\/10.1007\/3-540-48249-0_35"},{"key":"15_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/3-540-45510-8_6","volume-title":"Modeling and Verification of Parallel Processes","author":"A Cimatti","year":"2001","unstructured":"Cimatti, A.: Industrial Applications of Model Checking. In: Cassez, F., Jard, C., Rozoy, B., Ryan, M.D. (eds.) MOVEP 2000. LNCS, vol. 2067, pp. 153\u2013168. Springer, Heidelberg (2001). \nhttps:\/\/doi.org\/10.1007\/3-540-45510-8_6"},{"key":"15_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1584","DOI":"10.1007\/3-540-48118-4_34","volume-title":"FM 1999 \u2014 Formal Methods","author":"A Cimatti","year":"1999","unstructured":"Cimatti, A., Pieraccini, P.L., Sebastiani, R., Traverso, P., Villafiorita, A.: Formal specification and validation of a vital communication protocol. In: Wing, J.M., Woodcock, J., Davies, J. (eds.) FM 1999. LNCS, vol. 1709, pp. 1584\u20131604. Springer, Heidelberg (1999). \nhttps:\/\/doi.org\/10.1007\/3-540-48118-4_34"},{"key":"15_CR8","series-title":"Formal Approaches to Computing and Information Technology","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0523-7","volume-title":"Industrial Strength Formal Methods in Practice","year":"1999","unstructured":"Hinchey, M.G., Bowen, J.P. (eds.): Industrial Strength Formal Methods in Practice. Formal Approaches to Computing and Information Technology. Springer, London (1999). \nhttps:\/\/doi.org\/10.1007\/978-1-4471-0523-7"},{"key":"15_CR9","unstructured":"https:\/\/www.openmodelica.org\/"},{"key":"15_CR10","unstructured":"http:\/\/book.xogeny.com\/"},{"key":"15_CR11","doi-asserted-by":"crossref","DOI":"10.1109\/9780470545669","volume-title":"Principles of Object-Oriented Modeling and Simulation with Modelica 2.1","author":"P Fritzson","year":"2010","unstructured":"Fritzson, P.: Principles of Object-Oriented Modeling and Simulation with Modelica 2.1. Wiley, New Jersey (2010)"},{"key":"15_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-1561-6","volume-title":"Introduction to Physical Modeling with Modelica","year":"2012","unstructured":"Tiller, M. (ed.): Introduction to Physical Modeling with Modelica. Springer, Boston (2012). \nhttps:\/\/doi.org\/10.1007\/978-1-4615-1561-6"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"Lu, Y., Peng, Z., Miller, A., et al.: Timed fault tree models of the China Yongwen railway accident. In: 2014 8th Asia Modelling Symposium (AMS), pp. 128\u2013133. IEEE (2014)","DOI":"10.1109\/AMS.2014.34"},{"issue":"4","key":"15_CR14","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1007\/s007660200016","volume":"7","author":"G Helmer","year":"2002","unstructured":"Helmer, G., Wong, J., Slagell, M., et al.: A software fault tree approach to requirements analysis of an intrusion detection system. Requirements Eng. 7(4), 207\u2013220 (2002)","journal-title":"Requirements Eng."},{"key":"15_CR15","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/j.ssci.2013.06.010","volume":"60","author":"D San Kim","year":"2013","unstructured":"San Kim, D., Yoon, W.C.: An accident causation model for the railway industry: Application of the model to 80 rail accident investigation reports from the UK. Saf. Sci. 60, 57\u201368 (2013)","journal-title":"Saf. Sci."},{"issue":"5","key":"15_CR16","doi-asserted-by":"crossref","first-page":"445","DOI":"10.1016\/S0925-7535(01)00078-9","volume":"41","author":"D Vernez","year":"2003","unstructured":"Vernez, D., Buchs, D., Pierrehumbert, G.: Perspectives in the use of coloured Petri nets for risk analysis and accident modelling. Saf. Sci. 41(5), 445\u2013463 (2003)","journal-title":"Saf. Sci."},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"Yamaguchi, T., Kaga, T., Seshia, S.A.: Combining requirement mining, software model checking and simulation-based verification for industrial automotive systems. In: Conference on Formal Methods in Computer-Aided Design. FMCAD Inc., pp. 201\u2013204 (2016)","DOI":"10.1109\/FMCAD.2016.7886680"}],"container-title":["Communications in Computer and Information Science","Requirements Engineering for Internet of Things"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-10-7796-8_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,1,4]],"date-time":"2018-01-04T01:19:27Z","timestamp":1515028767000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-981-10-7796-8_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9789811077951","9789811077968"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-981-10-7796-8_15","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2018]]}}}