{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T10:38:28Z","timestamp":1725619108898},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642245497"},{"type":"electronic","value":"9783642245503"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-24550-3_25","type":"book-chapter","created":{"date-parts":[[2011,10,8]],"date-time":"2011-10-08T06:56:37Z","timestamp":1318056997000},"page":"326-340","source":"Crossref","is-referenced-by-count":3,"title":["The OCRC Fuel Cell Lab Safety System: A Self-Stabilizing Safety-Critical System"],"prefix":"10.1007","author":[{"given":"William","family":"Leal","sequence":"first","affiliation":[]},{"given":"Micah","family":"McCreery","sequence":"additional","affiliation":[]},{"given":"Daniel","family":"Faria","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"25_CR1","doi-asserted-by":"crossref","unstructured":"Cooper, M., DeSilva, C., Bayless, D.: Comparison of LSV\/YSZ and LSV\/GDC SOFC anode performance in coal syngas containing H2S. Journal of the Electrochemical Society\u00a0157(11), B1713\u2013B1718 (2010)","DOI":"10.1149\/1.3489380"},{"key":"25_CR2","unstructured":"Faria, D.: Verification and validation of a safety system for a fuel-cell research facility: a case study. Master\u2019s thesis, Ohio University (2007)"},{"key":"25_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/3-540-45032-7_10","volume-title":"Self-Stabilizing Systems","author":"S. Ghosh","year":"2003","unstructured":"Ghosh, S., Bejan, A.: A framework of safe stabilization. In: Huang, S.-T., Herman, T. (eds.) SSS 2003. LNCS, vol.\u00a02704, pp. 129\u2013140. Springer, Heidelberg (2003)"},{"key":"25_CR4","doi-asserted-by":"crossref","unstructured":"Leal, W., McCreery, M., Faria, D.: The OCRC fuel cell lab safety system: A self-stabilizing safety-critical system. Technical Report OSU-CISRC-5\/11-TR17, Department of Computer Science and Engineering, The Ohio State University (2011)","DOI":"10.1007\/978-3-642-24550-3_25"},{"key":"25_CR5","unstructured":"Leal, W., Xiao, D., de Faria, D.C., Kremer, G., Switzer, S., McCreery, M.: Design of a safety monitoring and control system for a fuel cell laboratory. In: Proceedings of the 31st Clearwater Coal Conference, CCC (2006)"},{"key":"25_CR6","unstructured":"NASA. Fault tree handbook with aerospace applications (2002), http:\/\/www.hq.nasa.gov\/office\/codeq\/doctree\/fthb.pdf"},{"key":"25_CR7","doi-asserted-by":"publisher","first-page":"779","DOI":"10.1016\/j.ijhydene.2010.10.034","volume":"36","author":"C.D. Silva","year":"2011","unstructured":"Silva, C.D., Kaseman, B., Bayless, D.: Silver (Ag) as anode and cathode current collectors in high temperature planar solid oxide fuel cells. International Journal of Hydrogen Energy\u00a036, 779\u2013786 (2011)","journal-title":"International Journal of Hydrogen Energy"}],"container-title":["Lecture Notes in Computer Science","Stabilization, Safety, and Security of Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24550-3_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,17]],"date-time":"2019-06-17T06:53:58Z","timestamp":1560754438000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24550-3_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642245497","9783642245503"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24550-3_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}