{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T12:10:01Z","timestamp":1746360601762,"version":"3.40.4"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319101804"},{"type":"electronic","value":"9783319101811"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-10181-1_7","type":"book-chapter","created":{"date-parts":[[2014,8,29]],"date-time":"2014-08-29T14:28:38Z","timestamp":1409322518000},"page":"103-119","source":"Crossref","is-referenced-by-count":4,"title":["Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud"],"prefix":"10.1007","author":[{"given":"Linas","family":"Laibinis","sequence":"first","affiliation":[]},{"given":"Benjamin","family":"Byholm","sequence":"additional","affiliation":[]},{"given":"Inna","family":"Pereverzeva","sequence":"additional","affiliation":[]},{"given":"Elena","family":"Troubitsyna","sequence":"additional","affiliation":[]},{"given":"Kuan","family":"Eeik Tan","sequence":"additional","affiliation":[]},{"given":"Ivan","family":"Porres","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"FP7 ADVANCE Project, http:\/\/www.advance-ict.eu\/"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Abrial, J.R.: Modeling in Event-B. Cambridge University Press (2010)","DOI":"10.1017\/CBO9781139195881"},{"key":"7_CR3","unstructured":"Banks, J.: Principles of simulation. In: Banks, J. (ed.) Handbook of Simulation, pp. 3\u201330. John Wiley & Sons, Inc. (2007)"},{"key":"7_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/978-3-642-33427-6_7","volume-title":"Service-Oriented and Cloud Computing","author":"F.S. de Boer","year":"2012","unstructured":"de Boer, F.S., H\u00e4hnle, R., Johnsen, E.B., Schlatte, R., Wong, P.Y.H.: Formal modeling of resource management for cloud architectures: An industrial case study. In: De Paoli, F., Pimentel, E., Zavattaro, G. (eds.) ESOCC 2012. LNCS, vol.\u00a07592, pp. 91\u2013106. Springer, Heidelberg (2012)"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Byholm, B., Porres, I.: Cost-Efficient, Reliable, Utility-Based Session Management in the Cloud. In: 14th IEEE\/ACM International Symposium on Cluster, Cloud, and Grid Computing, pp. 102\u2013111. IEEE Computer Society (2014)","DOI":"10.1109\/CCGrid.2014.22"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"De Lara Ara\u00fajo Filho, W., Hirata, C.M.: Translating Activity Cycle Diagrams to Java Simulation Programs. In: ANSS 2004, pp. 157\u2013164. IEEE (2004)","DOI":"10.1109\/SIMSYM.2004.1299479"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Johnson, R., Pandis, I., Stoica, R., Athanassoulis, M., Ailamaki, A.: Scalability of Write-Ahead Logging on Multicore and Multisocket Hardware. The VLDB Journal\u00a021(2), 239\u2013263","DOI":"10.1007\/s00778-011-0260-8"},{"key":"7_CR8","doi-asserted-by":"publisher","first-page":"681","DOI":"10.14778\/1920841.1920928","volume":"3","author":"R. Johnson","year":"2010","unstructured":"Johnson, R., Pandis, I., Stoica, R., Athanassoulis, M., Ailamaki, A.: Aether: A Scalable Approach to Logging. VLDB Endowment\u00a03, 681\u2013692 (2010)","journal-title":"VLDB Endowment"},{"issue":"2","key":"7_CR9","doi-asserted-by":"publisher","first-page":"785","DOI":"10.1016\/j.simpat.2010.11.004","volume":"19","author":"D. Kang","year":"2011","unstructured":"Kang, D., Choi, B.K.: The extended activity cycle diagram and its generality. Simulation Modelling Practice and Theory\u00a019(2), 785\u2013800 (2011)","journal-title":"Simulation Modelling Practice and Theory"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1007\/978-3-642-41202-8_24","volume-title":"Formal Methods and Software Engineering","author":"I. Pereverzeva","year":"2013","unstructured":"Pereverzeva, I., Laibinis, L., Troubitsyna, E., Holmberg, M., P\u00f6ri, M.: Formal Modelling of Resilient Data Storage in Cloud. In: Groves, L., Sun, J. (eds.) ICFEM 2013. LNCS, vol.\u00a08144, pp. 363\u2013379. Springer, Heidelberg (2013)"},{"key":"7_CR11","unstructured":"Rodin: Event-B Platform, http:\/\/www.event-b.org\/"},{"key":"7_CR12","unstructured":"Savicks, V., Butler, M., Colley, J., Bendisposto, J.: Rodin Multi-Simulation Plug-in. In: 5th Rodin User and Developer Workshop (2014)"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Schriber, T.J., Brunner, D.T.: How Discrete-Event Simulation Software Works. In: Banks, J. (ed.) Handbook of Simulation, pp. 765\u2013812. John Wiley & Sons (2007)","DOI":"10.1002\/9780470172445.ch24"},{"key":"7_CR14","unstructured":"SimPy: Simulation framework in Python, http:\/\/simpy.readthedocs.org\/"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-10181-1_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T11:48:09Z","timestamp":1746359289000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-10181-1_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319101804","9783319101811"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10181-1_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}