{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:13:50Z","timestamp":1761488030262},"publisher-location":"Boston, MA","reference-count":7,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781402081569"},{"type":"electronic","value":"9781402081576"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-1-4020-8157-6_45","type":"book-chapter","created":{"date-parts":[[2008,4,7]],"date-time":"2008-04-07T16:54:40Z","timestamp":1207587280000},"page":"505-510","source":"Crossref","is-referenced-by-count":19,"title":["Safety Assessment with Altarica"],"prefix":"10.1007","author":[{"given":"Pierre","family":"Bieber","sequence":"first","affiliation":[]},{"given":"Christian","family":"Bougnol","sequence":"additional","affiliation":[]},{"given":"Charles","family":"Castel","sequence":"additional","affiliation":[]},{"given":"Jean-Pierre Heckmann","family":"Christophe Kehren","sequence":"additional","affiliation":[]},{"given":"Sylvain","family":"Metge","sequence":"additional","affiliation":[]},{"given":"Christel","family":"Seguin","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"45_CR1","doi-asserted-by":"crossref","first-page":"109","DOI":"10.3233\/FI-1999-402302","volume":"40","author":"A. Arnold","year":"2000","unstructured":"A. Arnold, A. Griffault, G. Point, A. Rauzy. The AltaRica formalism for describing concurrent systems. Fundamenta Informaticae no40, p109\u2013124, 2000.","journal-title":"Fundamenta Informaticae"},{"key":"45_CR2","unstructured":"M. Bozzano et alter, ESACS: an integrated methodology for design and safety analysis of complex systems. ESREL 2003 European Safety and Reliability Conference, 2003."},{"issue":"1","key":"45_CR3","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1145\/381766.381770","volume":"2","author":"P. Fenelon","year":"1994","unstructured":"P. Fenelon, J.A. McDermid, M. Nicholson, D.J. Pumfrey, Towards Integrated Safety Analysis and Design, ACM Computing Reviews, Vol. 2,No. 1, p.21\u201332,1994.","journal-title":"ACM Computing Reviews"},{"key":"45_CR4","doi-asserted-by":"crossref","unstructured":"K.L. MacMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993, ISBN 0-7923-9380-5.","DOI":"10.1007\/978-1-4615-3190-6"},{"key":"45_CR5","unstructured":"C. Kehren et alter, Architecture patterns for safe design, in proceedings of the first AAAF Conference on Complex and Safe System Engineering, 2004."},{"key":"45_CR6","unstructured":"C. Kehren et alter, Advanced Multi-System Simulation Capabilities with AltaRica, in proceedings of the International System Safety Conference, 2004."},{"key":"45_CR7","doi-asserted-by":"crossref","unstructured":"A. Rauzy. Mode automata and their compilation into fault trees. Reliability Engineering and System Safety, 2002.","DOI":"10.1016\/S0951-8320(02)00042-X"}],"container-title":["IFIP International Federation for Information Processing","Building the Information Society"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4020-8157-6_45.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T22:16:08Z","timestamp":1605651368000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4020-8157-6_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9781402081569","9781402081576"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-1-4020-8157-6_45","relation":{},"subject":[]}}