{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T01:34:42Z","timestamp":1773192882287,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540292005","type":"print"},{"value":"9783540320005","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11563228_10","type":"book-chapter","created":{"date-parts":[[2005,10,8]],"date-time":"2005-10-08T13:11:49Z","timestamp":1128777109000},"page":"122-135","source":"Crossref","is-referenced-by-count":81,"title":["Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier"],"prefix":"10.1007","author":[{"given":"Anjali","family":"Joshi","sequence":"first","affiliation":[]},{"given":"Mats P. E.","family":"Heimdahl","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"SAE ARP4761. Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment. SAE International (December 1996)"},{"key":"10_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/3-540-36080-8_3","volume-title":"Dependable Computing EDCC-4","author":"P. Bieber","year":"2002","unstructured":"Bieber, P., Castel, C., Seguin, C.: Combination of fault tree analysis and model checking for safety assessment of complex system. In: Bondavalli, A., Th\u00e9venod-Fosse, P. (eds.) EDCC 2002. LNCS, vol.\u00a02485, pp. 19\u201331. Springer, Heidelberg (2002)"},{"key":"10_CR3","first-page":"237","volume-title":"Proceedings of ESREL 2003","author":"M. Bozzano","year":"2003","unstructured":"Bozzano, M., Villafiorita, A., Kerlund, O., Bieber, P., Bougnol, C., Bde, E., Bretschneider, M., Cavallo, A., Castel, C., Cifaldi, M., Cimatti, A., Griffault, A., Kehren, C., Lawrence, B., Ldtke, A., Metge, S., Papadopoulos, C., Passarello, R., Peikenkamp, T., Persson, P., Seguin, C., Trotta, L., Valacca, L., Zacco, G.: Esacs: an integrated methodology for design and safety analysis of complex systems. In: Proceedings of ESREL 2003, June 15\u201318, pp. 237\u2013245. Balkema Publishers, Rotterdam (2003)"},{"key":"10_CR4","first-page":"49","volume-title":"Proceedings of SAFE-COMP 2003","author":"M. Bozzano","year":"2003","unstructured":"Bozzano, M., Villafiorita, A.: Improving system reliability via model checking: the fsap \/ nusmv-sa safety analysis platform. In: Proceedings of SAFE-COMP 2003, Edinburgh, pp. 49\u201362. Springer, Heidelberg (2003)"},{"key":"10_CR5","volume-title":"Mastering Simulink","author":"J. Dabney","year":"2004","unstructured":"Dabney, J., Harmon, T.: Mastering Simulink. Prentice Hall, Upper Saddle River (2004)"},{"issue":"9","key":"10_CR6","doi-asserted-by":"publisher","first-page":"1305","DOI":"10.1109\/5.97300","volume":"79","author":"N. Halbwachs","year":"1991","unstructured":"Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The synchronous dataflow programming language lustre. Proceedings of the IEEE\u00a079(9), 1305\u20131320 (1991)","journal-title":"Proceedings of the IEEE"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Papadopoulos, Y., Maruhn, M.: Model-based synthesis of fault trees from matlab-simulink models. In: The International Conference on Dependable Systems and Networks (DSN 2001) (July 01\u201304, 2001)","DOI":"10.1109\/DSN.2001.941393"},{"key":"10_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/3-540-48249-0_13","volume-title":"Computer Safety, Reliability and Security","author":"Y. Papadopoulos","year":"1999","unstructured":"Papadopoulos, Y., McDermid, J.A.: Hierarchically performed hazard origin and propagation studies. In: Felici, M., Kanoun, K., Pasquini, A. (eds.) SAFECOMP 1999. LNCS, vol.\u00a01698, p. 139. Springer, Heidelberg (1999)"},{"key":"10_CR9","unstructured":"Esterel Technologies. Scade suite product description, \n                  \n                    http:\/\/www.esterel-technologies.com\/v2\/scadeSuiteForSafetyCriticalSoftwareDevelopment\/index.html"},{"key":"10_CR10","unstructured":"Whalen, M.W.: A formal semantics for RSML\u2212\u2009e. Master\u2019s thesis, University of Minnesota (May 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\/11563228_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:14:37Z","timestamp":1619507677000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11563228_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540292005","9783540320005"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/11563228_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}