{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T12:52:48Z","timestamp":1725454368869},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642336744"},{"type":"electronic","value":"9783642336751"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33675-1_5","type":"book-chapter","created":{"date-parts":[[2012,9,10]],"date-time":"2012-09-10T16:33:04Z","timestamp":1347294784000},"page":"50-63","source":"Crossref","is-referenced-by-count":10,"title":["A Model Based Approach for Safety Analysis"],"prefix":"10.1007","author":[{"given":"Fabien","family":"Belmonte","sequence":"first","affiliation":[]},{"given":"Elie","family":"Soubiran","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"Villemeur, A.: Reliability, availability, maintainability, and safety assessment. Wiley J. (1992)"},{"key":"5_CR2","unstructured":"CENELEC, Railway applications. The specification and demonstration of reliability, availability, maintainability and safety (RAMS), EN50126"},{"key":"5_CR3","unstructured":"CENELEC, Railway applications. Communications, signalling and processing systems. Software for railway control and protection systems, EN50128"},{"key":"5_CR4","unstructured":"CENELEC, Railway applications. Communication, signalling and processing systems. Safety related electronic systems for signalling, EN50129"},{"key":"5_CR5","unstructured":"Belmonte, F., Blas, A., Mejia, L.-F., Thomas, F.: Risk Evaluation in Railway Systems Supported By Modeling Languages and Tools. Lambda-Mu, 17\u00e8me Congr\u00e8s de Ma\u00eetrise des Risques et de S\u00fbret\u00e9 de Fonctionnement. IMDR, La Rochelle (2010)"},{"key":"5_CR6","unstructured":"OMG. UML Profile for MARTE: Modeling and Analysis of Real-time Embedded Systems, v1.1 (June 2011), \n                    \n                      http:\/\/www.omg.org\/spec\/MARTE"},{"key":"5_CR7","unstructured":"OMG. MOF 2 XMI Mapping, v2.4.1 (August 2011), \n                    \n                      http:\/\/www.omg.org\/spec\/XMI\/"},{"key":"5_CR8","unstructured":"OMG. OMG Systems Modeling Language (OMG SysML), v1.2, \n                    \n                      http:\/\/www.omg.org\/spec\/SysML"},{"key":"5_CR9","unstructured":"Point, G.: AltaRica: Contribution \u00e0 l\u2019unification des m\u00e9thodes formelles et de la s\u00fbret\u00e9 de fonctionnement. LaBRI, Universit\u00e9 Bordeaux I (January 2000)"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33675-1_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T12:18:38Z","timestamp":1620130718000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33675-1_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642336744","9783642336751"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33675-1_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}