{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T21:21:54Z","timestamp":1742937714967,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540884781"},{"type":"electronic","value":"9783540884798"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-88479-8_41","type":"book-chapter","created":{"date-parts":[[2008,11,4]],"date-time":"2008-11-04T09:18:43Z","timestamp":1225790323000},"page":"572-586","source":"Crossref","is-referenced-by-count":4,"title":["High Service Availability in MaTRICS for the OCS"],"prefix":"10.1007","author":[{"given":"Markus","family":"Bajohr","sequence":"first","affiliation":[]},{"given":"Tiziana","family":"Margaria","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"41_CR1","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/s11334-006-0003-y","volume":"2","author":"M. Bajohr","year":"2005","unstructured":"Bajohr, M., Margaria, T.: MaTRICS: A Service-Based Management Tool for Remote Intelligent Configuration of Systems. Innovations in Systems and Software Engineering (ISSE)\u00a02(2), 99\u2013111 (2005)","journal-title":"Innovations in Systems and Software Engineering (ISSE)"},{"key":"41_CR2","unstructured":"Fujitsu Siemens Computers: Reliable Telco Platform, \n                    \n                      http:\/\/www.fujitsu-siemens.fr\/products\/software\/cluster_technology\/rtp4.html"},{"key":"41_CR3","unstructured":"Fujitsu Siemens Computers: PRIMECLUSTER, \n                    \n                      http:\/\/www.fujitsu-siemens.fr\/products\/software\/cluster_technology\/primecluster\/"},{"key":"41_CR4","unstructured":"GEAR - A Game based Model Checking Tool, \n                    \n                      http:\/\/jabc.cs.uni-dortmund.de\/modelchecking\/"},{"key":"41_CR5","unstructured":"Heartbeat, Open Source High Availability Software, \n                    \n                      http:\/\/www.linux-ha.org"},{"key":"41_CR6","unstructured":"Lindner, B., Margaria, T., Steffen, B.: Ein personalisierter Internetdienst f\u00fcr wissenschaftliche Begutachtungsprozesse, GI-VOI-BITKOM-OCG-TeleTrusT Konferenz Elektronische Gesch\u00e4ftsprozesse (eBusiness Processes), Universit\u00e4t Klagenfurt (September 2001), \n                    \n                      http:\/\/syssec.uni-klu.ac.at\/EBP2001\/"},{"key":"41_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1007\/978-3-540-25930-5_10","volume-title":"Objects, Agents, and Features","author":"T. Margaria","year":"2004","unstructured":"Margaria, T.: Components, Features, and Agents in the ABC. In: Ryan, M.D., Meyer, J.-J.C., Ehrich, H.-D. (eds.) Objects, Agents, and Features. LNCS, vol.\u00a02975, pp. 154\u2013174. Springer, Heidelberg (2004)"},{"key":"41_CR8","first-page":"497","volume-title":"2nd IFIP Conf. on e-commerce, e-business, e-government (I3E 2002)","author":"T. Margaria","year":"2002","unstructured":"Margaria, T., Karusseit, M.: Community Usage of the Online Conference Service: an Experience Report from three CS Conferences. In: 2nd IFIP Conf. on e-commerce, e-business, e-government (I3E 2002), Lisboa (P), pp. 497\u2013511. Kluwer, Dordrecht (2002)"},{"issue":"2-3","key":"41_CR9","first-page":"107","volume":"5","author":"T. Margaria","year":"2004","unstructured":"Margaria, T., Steffen, B.: Lightweight Coarse-grained Coordination: A Scalable System-Level Approach. STTT, Special Section on Formal Methods in Industrial Critical Systems, of the Int. Journal on Software Tools for Technology Transfer\u00a05(2-3), 107\u2013123 (2004)","journal-title":"STTT, Special Section on Formal Methods in Industrial Critical Systems, of the Int. Journal on Software Tools for Technology Transfer"},{"key":"41_CR10","series-title":"Lecture Notes in Computer Science","volume-title":"VSTTE 2005, IFIP WG 2.3 Working Conf. on Verified Software: Tools, Techniques, and Experiments, Z\u00fcrich (CH)","author":"T. Margaria","year":"2005","unstructured":"Margaria, T., Steffen, B.: From the How to the What. In: VSTTE 2005, IFIP WG 2.3 Working Conf. on Verified Software: Tools, Techniques, and Experiments, Z\u00fcrich (CH), October 2005. LNCS. Springer, Heidelberg (2005)"},{"key":"41_CR11","doi-asserted-by":"crossref","unstructured":"Margaria, T., Steffen, B.: Service Engineering: Linking Business and IT. IEEE Computer, 53\u201363 (2006)","DOI":"10.1109\/SEW.2006.29"},{"key":"41_CR12","unstructured":"Marowsky-Br\u00e9e, L.: A new cluster resource manager for heartbeat. In: UKUUG LISA\/Winter Conf. on High-Availability and Reliability, Bournemouth (UK) (2004)"},{"key":"41_CR13","unstructured":"The Open Cluster Framework (OCF), \n                    \n                      http:\/\/opencf.org"},{"key":"41_CR14","unstructured":"OpenSAF, The Open Service Availability Framework, \n                    \n                      http:\/\/www.opensaf.org"},{"key":"41_CR15","unstructured":"Robertson, A.: The Evolution of the Linux-HA Project, UKUUG LISA\/Winter Conference High-Availability and Reliability, Bournemouth, UK (2004)"},{"key":"41_CR16","unstructured":"Slony-I, Enterprise-level replication system, \n                    \n                      http:\/\/www.slony.info"},{"key":"41_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-540-70889-6_7","volume-title":"Hardware and Software, Verification and Testing","author":"B. Steffen","year":"2007","unstructured":"Steffen, B., Margaria, T., Nagel, R., J\u00f6rges, S., Kubczak, C.: Model-Driven Development with the jABC. In: Bin, E., Ziv, A., Ur, S. (eds.) HVC 2006. LNCS, vol.\u00a04383, pp. 92\u2013108. Springer, Heidelberg (2007)"}],"container-title":["Communications in Computer and Information Science","Leveraging Applications of Formal Methods, Verification and Validation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88479-8_41","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,3]],"date-time":"2019-03-03T18:27:15Z","timestamp":1551637635000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88479-8_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540884781","9783540884798"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88479-8_41","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2008]]}}}