{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,8]],"date-time":"2025-10-08T16:09:47Z","timestamp":1759939787166},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662436516"},{"type":"electronic","value":"9783662436523"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-43652-3_1","type":"book-chapter","created":{"date-parts":[[2014,5,28]],"date-time":"2014-05-28T22:22:12Z","timestamp":1401315732000},"page":"1-8","source":"Crossref","is-referenced-by-count":18,"title":["The Rodin Platform Has Turned Ten"],"prefix":"10.1007","author":[{"given":"Laurent","family":"Voisin","sequence":"first","affiliation":[]},{"given":"Jean-Raymond","family":"Abrial","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"6","key":"1_CR1","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1007\/s10009-010-0145-y","volume":"12","author":"J.-R. Abrial","year":"2010","unstructured":"Abrial, J.-R., Butler, M., Hallerstede, S., Hoang, T.S., Mehta, F., Voisin, L.: Rodin: An open toolset for modelling and reasoning in Event-B. Int. J. Softw. Tools Technol. Transf.\u00a012(6), 447\u2013466 (2010)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"issue":"2","key":"1_CR2","first-page":"189","volume":"41","author":"J. Bendisposto","year":"2011","unstructured":"Bendisposto, J., Fritz, F., Jastram, M., Leuschel, M., Weigelt, I.: Developing Camille, a text editor for Rodin. Software: Practice and Experience\u00a041(2), 189\u2013198 (2011)","journal-title":"Software: Practice and Experience"},{"key":"1_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/978-3-642-39698-4_5","volume-title":"Theories of Programming and Formal Methods","author":"M. Butler","year":"2013","unstructured":"Butler, M., Maamria, I.: Practical theory extension in Event-B. In: Liu, Z., Woodcock, J., Zhu, H. (eds.) Theories of Programming and Formal Methods. LNCS, vol.\u00a08051, pp. 67\u201381. Springer, Heidelberg (2013)"},{"key":"1_CR4","unstructured":"Damchoom, K.: B2Latex, \n                  \n                    http:\/\/wiki.event-b.org\/index.php\/B2Latex"},{"key":"1_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/978-3-642-30885-7_14","volume-title":"Abstract State Machines, Alloy, B, VDM, and Z","author":"D. D\u00e9harbe","year":"2012","unstructured":"D\u00e9harbe, D., Fontaine, P., Guyot, Y., Voisin, L.: SMT solvers for Rodin. In: Derrick, J., Fitzgerald, J., Gnesi, S., Khurshid, S., Leuschel, M., Reeves, S., Riccobene, E. (eds.) ABZ 2012. LNCS, vol.\u00a07316, pp. 194\u2013207. Springer, Heidelberg (2012)"},{"key":"1_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/978-3-642-30598-6_9","volume-title":"Reliable Software Technologies \u2013 Ada-Europe 2012","author":"A. Edmunds","year":"2012","unstructured":"Edmunds, A., Rezazadeh, A., Butler, M.: Formal modelling for ada implementations: Tasking Event-B. In: Brorsson, M., Pinho, L.M. (eds.) Ada-Europe 2012. LNCS, vol.\u00a07308, pp. 119\u2013132. Springer, Heidelberg (2012)"},{"key":"1_CR7","series-title":"LNCS","first-page":"222","volume-title":"ABZ 2014","author":"A. F\u00fcrst","year":"2014","unstructured":"F\u00fcrst, A., Hoang, T.S., Basin, D., Sato, N., Miyazaki, K.: Formal system modelling using abstract data types in Event-B. In: Ait Ameur, Y., Schewe, K.-D. (eds.) ABZ 2014. LNCS, vol.\u00a08477, pp. 222\u2013237. Springer, Heidelberg (2014)"},{"key":"1_CR8","volume-title":"Contributing to Eclipse: Principles, Patterns, and Plugins","author":"E. Gamma","year":"2003","unstructured":"Gamma, E., Beck, K.: Contributing to Eclipse: Principles, Patterns, and Plugins. Addison Wesley Longman Publishing Co., Inc., Redwood City (2003)"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Hallerstede, S., Jastram, M., Ladenberger, L.: A Method and Tool for Tracing Requirements into Specifications. Science of Computer Programming (2013)","DOI":"10.1016\/j.scico.2013.03.008"},{"issue":"3","key":"1_CR10","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1016\/j.scico.2011.03.005","volume":"78","author":"S. Hallerstede","year":"2013","unstructured":"Hallerstede, S., Leuschel, M., Plagge, D.: Validation of formal models by refinement animation. Science of Computer Programming\u00a078(3), 272\u2013292 (2013)","journal-title":"Science of Computer Programming"},{"issue":"2","key":"1_CR11","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/s10009-007-0063-9","volume":"10","author":"M. Leuschel","year":"2008","unstructured":"Leuschel, M., Butler, M.: ProB: An automated analysis toolset for the B method. Software Tools for Technology Transfer (STTT)\u00a010(2), 185\u2013203 (2008)","journal-title":"Software Tools for Technology Transfer (STTT)"},{"key":"1_CR12","unstructured":"M\u00e9tayer, C.: AnimB: B model animator, \n                  \n                    http:\/\/www.animb.org"},{"key":"1_CR13","unstructured":"Said, M., Butler, M., Snook, C.: A method of refinement in UML-B. Software & Systems Modeling, 1\u201324 (2013)"},{"key":"1_CR14","unstructured":"Schmalz, M.: Formalizing the logic of Event-B. PhD thesis, ETH Zurich (2012)"},{"key":"1_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"466","DOI":"10.1007\/978-3-642-10373-5_24","volume-title":"Formal Methods and Software Engineering","author":"R. Silva","year":"2009","unstructured":"Silva, R., Butler, M.: Supporting reuse of Event-B developments through generic instantiation. In: Breitman, K., Cavalcanti, A. (eds.) ICFEM 2009. LNCS, vol.\u00a05885, pp. 466\u2013484. Springer, Heidelberg (2009)"},{"issue":"2","key":"1_CR16","first-page":"199","volume":"41","author":"R. Silva","year":"2011","unstructured":"Silva, R., Pascal, C., Hoang, T.S., Butler, M.: Decomposition tool for Event-B. Software: Practice and Experience\u00a041(2), 199\u2013208 (2011)","journal-title":"Software: Practice and Experience"}],"container-title":["Lecture Notes in Computer Science","Abstract State Machines, Alloy, B, TLA, VDM, and Z"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-43652-3_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T19:06:03Z","timestamp":1558897563000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-43652-3_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662436516","9783662436523"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-43652-3_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}