{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T06:20:10Z","timestamp":1773210010414,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540341994","type":"print"},{"value":"9783540342014","type":"electronic"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"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":[[2006]]},"DOI":"10.1007\/11754305_17","type":"book-chapter","created":{"date-parts":[[2006,7,21]],"date-time":"2006-07-21T04:12:47Z","timestamp":1153455167000},"page":"150-158","source":"Crossref","is-referenced-by-count":20,"title":["Automatic Fault Tree Derivation from Little-JIL Process Definitions"],"prefix":"10.1007","author":[{"given":"Bin","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"George S.","family":"Avrunin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lori A.","family":"Clarke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leon J.","family":"Osterweil","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11608035_29","volume-title":"Unifying the Software Process Spectrum","author":"L.A. Clarke","year":"2006","unstructured":"Clarke, L.A., Chen, Y., Avrunin, G.S., Chen, B., Cobleigh, R.L., Frederick, K., Henneman, E.A., Osterweil, L.J.: Process Programming to Support Medical Safety: A Case Study on Blood Transfusion. In: Li, M., Boehm, B., Osterweil, L.J. (eds.) SPW 2005. LNCS, vol.\u00a03840, Springer, Heidelberg (2006)"},{"key":"17_CR2","volume-title":"Safeware: System Safety and Computers","author":"N.G. Leveson","year":"1995","unstructured":"Leveson, N.G.: Safeware: System Safety and Computers. Addison-Wesley, Reading (1995)"},{"key":"17_CR3","unstructured":"Vesely, W.E., Goldberg, F.F., Roberts, N.H., Haasl, D.F.: Fault-Tree Handbook, Reg. 0492. US Nuclear Regulatory Comm., Washington (1981)"},{"key":"17_CR4","unstructured":"Vesely, W.E., et al.: Fault Tree Handbook with Aerospace Applications. NASA (2002)"},{"key":"17_CR5","unstructured":"Wise, A.: Little-JIL 1.0 Language Report. Technical report (UM-CS-1998-024), Department of Computer Science, University of Massachusetts, Amherst, MA (1998)"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"Cha, S.S., Leveson, N.G., Shimeall, T.J.: Safety Verification in Murphy Using Fault Tree Analysis. In: ICSE 1988: Proceedings of the 10th International Conference on Software Engineering, Singapore, pp. 377\u2013386 (1988)","DOI":"10.1109\/ICSE.1988.93718"},{"key":"17_CR7","unstructured":"Ratan, V., Partridge, K., Reese, J., Leveson N.G.: Safety Analysis Tools for Requirements Specifications, \n                    \n                      http:\/\/www.safeware-eng.com\/index.php\/publications\/SafAnTooReq"},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"Pai, G.J., Dugan, J.B.: Automatic Synthesis of Dynamic Fault Trees from UML System Models. In: 13th International Symposium on Software Reliability Engineering (ISSRE 2002), p. 243 (2002)","DOI":"10.1109\/ISSRE.2002.1173261"},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"McKelvin Jr., M.L., Eirea, G., Pinello, C., Kanajan, S., Sangiovanni-Vincentelli, A.: A Formal Approach to Fault Tree Synthesis for the Analysis of Distributed Fault Tolerant Systems. In: Procs. of the 5th ACM International Conference on Embedded Software, pp. 237\u2013246 (2005)","DOI":"10.1145\/1086228.1086272"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"Liggesmeyer, P., Rothfelder, M.: Improving System Reliability with Automatic Fault Tree Generation. In: FTCS 1998: Proceedings of the The Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing, p. 90 (1998)","DOI":"10.1109\/FTCS.1998.689458"},{"key":"17_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/978-3-540-39878-3_5","volume-title":"Computer Safety, Reliability, and Security","author":"M. Bozzano","year":"2003","unstructured":"Bozzano, M., Villafiorita, A.: Improving System Reliability via Model Checking: the FSAP \/ NuSMV-SA Safety Analysis Platform. In: Anderson, S., Felici, M., Littlewood, B. (eds.) SAFECOMP 2003. LNCS, vol.\u00a02788, pp. 49\u201362. Springer, Heidelberg (2003)"}],"container-title":["Lecture Notes in Computer Science","Software Process Change"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11754305_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,12]],"date-time":"2019-03-12T01:53:27Z","timestamp":1552355607000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11754305_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540341994","9783540342014"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/11754305_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}