{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:05:54Z","timestamp":1725473154889},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540482659"},{"type":"electronic","value":"9783540482673"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11916246_3","type":"book-chapter","created":{"date-parts":[[2006,11,22]],"date-time":"2006-11-22T08:01:36Z","timestamp":1164182496000},"page":"59-79","source":"Crossref","is-referenced-by-count":8,"title":["The Fault-Tolerant Insulin Pump Therapy"],"prefix":"10.1007","author":[{"given":"Alfredo","family":"Capozucca","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicolas","family":"Guelfi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrizio","family":"Pelliccione","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"Java 2 Platform, Standard Edition (J2SE), http:\/\/java.sun.com"},{"key":"3_CR2","volume-title":"Fault-tolerance: Principles and practice","author":"T. Anderson","year":"1981","unstructured":"Anderson, T., Lee, P.: Fault-tolerance: Principles and practice. Prentice Hall, Englewood Cliffs (1981)"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Avizienis, A.: The n-version approach to fault-tolerant software. IEEE Trans. Sofi. Eng., 1491\u20131501 (1985)","DOI":"10.1109\/TSE.1985.231893"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Capozucca, A., Guelfi, N., Pelliccione, P., Romanovsky, A., Zorzo, A.: CAA-DRIP: a framework for implementing Coordinated Atomic Actions. Laboratory for Advanced Software Systems Technical Report nr. TR-LASSY-06-05 (2006)","DOI":"10.1109\/ISSRE.2006.18"},{"key":"3_CR5","unstructured":"Correct Web Page (2006), http:\/\/lassy.uni.lu\/correct"},{"issue":"3","key":"3_CR6","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming\u00a08(3), 231\u2013274 (1987)","journal-title":"Science of Computer Programming"},{"key":"3_CR7","unstructured":"DISETRONIC, A member of the Roche Group, http:\/\/www.disetronic.com"},{"key":"3_CR8","unstructured":"Endocrine Disorders & Endocrine Surgery, http:\/\/www.endocrineweb.com\/insulin.html"},{"issue":"3","key":"3_CR9","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1109\/52.896248","volume":"17","author":"C.A. Gunter","year":"2000","unstructured":"Gunter, C.A., Gunter, E.L., Jackson, M., Zave, P.: A reference model for requirements and specifications. IEEE Softw.\u00a017(3), 37\u201343 (2000)","journal-title":"IEEE Softw."},{"issue":"4","key":"3_CR10","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1145\/235321.235322","volume":"5","author":"D. Harel","year":"1996","unstructured":"Harel, D., Naamad, A.: The statemate semantics of statecharts. ACM Trans. Softw. Eng. Methodol.\u00a05(4), 293\u2013333 (1996)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"3_CR11","unstructured":"Medtronic, http:\/\/www.minimed.com"},{"key":"3_CR12","unstructured":"National Institute for Health and Clinical Excellence. Guidance on the use of continuous subcutaneous insulin infusion for diabetes (Technology Appraisal 57) (February 2003), www.nice.org.uk"},{"issue":"2","key":"3_CR13","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1109\/TSE.1975.6312842","volume":"SE-1","author":"B. Randell","year":"1975","unstructured":"Randell, B.: System structure for software fault tolerance. IEEE Transactions on Software Engineering\u00a0SE-1(2), 220\u2013232 (1975)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"3_CR14","unstructured":"Xu, J., Randell, B., Romanovsky, A., Rubira, C.M.,, R.J.: Fault Tolerance in Concurrent Object-Oriented Software through Coordinated Error Recovery. In: Proceedings of the 25th International Symposium on Fault-Tolerant Computing, 499\u2013508 (1995)"},{"key":"3_CR15","unstructured":"Xu, J., Randell, B., Romanovsky, A.B., Rubira, C.M.F., Stroud, R.J., Wu, Z.: Fault tolerance in concurrent object-oriented software through coordinated error recovery. In: Symposium on Fault-Tolerant Computing, pp. 499\u2013508 (1995)"},{"key":"3_CR16","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1145\/320384.320431","volume-title":"OOPSLA 1999: Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications","author":"A.F. Zorzo","year":"1999","unstructured":"Zorzo, A.F., Stroud, R.J.: A distributed object-oriented framework for dependable multiparty interactions. In: OOPSLA 1999: Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, pp. 435\u2013446. ACM Press, New York (1999)"}],"container-title":["Lecture Notes in Computer Science","Rigorous Development of Complex Fault-Tolerant Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11916246_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:42:18Z","timestamp":1619509338000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11916246_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540482659","9783540482673"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/11916246_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}