{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T15:24:52Z","timestamp":1742397892540},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540441571"},{"type":"electronic","value":"9783540457329"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45732-1_21","type":"book-chapter","created":{"date-parts":[[2007,10,10]],"date-time":"2007-10-10T20:38:56Z","timestamp":1192048736000},"page":"212-223","source":"Crossref","is-referenced-by-count":4,"title":["Methods of Increasing Modelling Power for Safety Analysis, Applied to a Turbine Digital Control System"],"prefix":"10.1007","author":[{"given":"Andrea","family":"Bobbio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ester","family":"Ciancamerla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giuliana","family":"Franceschinis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rossano","family":"Gaeta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michele","family":"Minichino","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luigi","family":"Portinale","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,9,18]]},"reference":[{"key":"21_CR1","first-page":"21","volume-title":"Advanced techniques for safety analysis applied to the gas turbine control system of ICARO co generative plant","author":"A. Bobbio","year":"2001","unstructured":"A. Bobbio, S. Bologna, E. Ciancamerla, P. Incalcaterra, C. Kropp, M. Minichino, E. Tronci-Advanced techniques for safety analysis applied to the gas turbine control system of ICARO co generative plant-X Convegno Tecnologie e Sistemi Energetici Complessi \"Sergio Stecco\"-Genova, Italy, June 21\u201322, 2001"},{"key":"21_CR2","unstructured":"IEC61508: Functional safety of electrical\/electronic\/programmable electronic safety related systems"},{"key":"21_CR3","unstructured":"R. A Sahner, K. S. Trivedi, A. Puliafito-Performance and reliability analysis of computer systems. Kluwer, 1998"},{"issue":"N.3","key":"21_CR4","first-page":"249","volume":"71","author":"A. Bobbio","year":"2001","unstructured":"A. Bobbio, L. Portinale, M. Minichino, E. Ciancamerla-Improving the Analysis of Dependable Systems by Mapping Fault Trees into Bayesian Networks-Reliability Engineering and System Safety Journal-vol. 71N.3 March 2001 pages 249\u2013260-ISSN 0951-8320","journal-title":"Improving the Analysis of Dependable Systems by Mapping Fault Trees into Bayesian Networks-Reliability Engineering and System Safety Journal"},{"key":"21_CR5","unstructured":"S. Bologna, E. Ciancamerla, M. Minichino, A. Bobbio, G. Franceschinis, L. Portinale, and R. Gaeta-\"Comparison of methodologies for the safety and dependability assessment of an industrial programmable logic controller\", In European Safety Dependability Conference (ESREL2001), pages 411\u2013418, September 2001"},{"key":"21_CR6","doi-asserted-by":"publisher","first-page":"1343","DOI":"10.1109\/12.247838","volume":"42","author":"G. Chiola","year":"1993","unstructured":"G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad-\"Stochastic well-formed coloured nets for symmetric modelling applications\", IEEE Transactions on Computers, 42:1343\u20131360, 1993","journal-title":"IEEE Transactions on Computers"},{"key":"21_CR7","unstructured":"A. Bobbio, G. Franceschinis, L. Portinale, and R. Gaeta-\"Dependability Assessment of an Industrial Programmable Logic Controller\", International Workshop on Petri Net and Performance Models (PNPM\u2019 01), pages 29\u201337, September 2001"},{"key":"21_CR8","unstructured":"F. V. Jensen-An introduction to Bayesian Networks-UCL Press, 1996"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45732-1_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,23]],"date-time":"2019-02-23T22:51:54Z","timestamp":1550962314000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45732-1_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540441571","9783540457329"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-45732-1_21","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}