{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,12]],"date-time":"2025-01-12T09:10:10Z","timestamp":1736673010003,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540687603"},{"type":"electronic","value":"9783540687610"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11955757_15","type":"book-chapter","created":{"date-parts":[[2006,12,11]],"date-time":"2006-12-11T09:34:20Z","timestamp":1165829660000},"page":"171-185","source":"Crossref","is-referenced-by-count":8,"title":["Refinement of Statemachines Using Event B Semantics"],"prefix":"10.1007","author":[{"given":"Colin","family":"Snook","sequence":"first","affiliation":[]},{"given":"Marina","family":"Wald\u00e9n","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"unstructured":"Abrial, J.R., Mussat, L.: Event B Reference Manual (2001), http:\/\/www.atelierb.societe.com\/ressources\/evt2b\/eventb_reference_manual.pdf","key":"15_CR1"},{"key":"15_CR2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-Book: Assigning Programs to Meanings","author":"J.-R. Abrial","year":"1996","unstructured":"Abrial, J.-R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)"},{"key":"15_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1007\/11415787_14","volume-title":"ZB 2005: Formal Specification and Development in Z and B","author":"J.R. Abrial","year":"2005","unstructured":"Abrial, J.R., Cansell, D., M\u00e9ry, D.: Refinement and Reachability in Event B. In: Treharne, H., King, S., C. Henson, M., Schneider, S. (eds.) ZB 2005. LNCS, vol.\u00a03455, pp. 222\u2013241. Springer, Heidelberg (2005)"},{"unstructured":"Abrial, J.R., Hallerstede, S., Mehta, F., M\u00e9tayer, C., Voisin, L.: Specification of Basic Tools and Platform. RODIN Deliverable D10 [17] (2005)","key":"15_CR4"},{"doi-asserted-by":"crossref","unstructured":"Back, R.J.R., Kurki-Suonio, R.: Decentralization of process nets with centralized control. In: Proceedings of the 2nd ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, pp. 131\u2013142 (1983)","key":"15_CR5","DOI":"10.1145\/800221.806716"},{"key":"15_CR6","first-page":"26","volume":"17","author":"R.J.R. Back","year":"1996","unstructured":"Back, R.J.R., Sere, K.: From modular systems to action systems. Software - Concepts and Tools\u00a017, 26\u201339 (1996)","journal-title":"Software - Concepts and Tools"},{"key":"15_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-1674-2","volume-title":"Refinement calculus: A systematic introduction","author":"R.J.R. Back","year":"1998","unstructured":"Back, R.J.R., von Wright, J.: Refinement calculus: A systematic introduction. Springer, New York (1998)"},{"unstructured":"Bostr\u00f6m, P., Jansson, M., Wald\u00e9n, M.: A healthcare case study: Fillwell. TUCS Technical Reports No 569, Turku Centre for Computer Science, Finland","key":"15_CR8"},{"key":"15_CR9","volume-title":"The Unified Modeling Language - a Reference Manual","author":"G. Booch","year":"1998","unstructured":"Booch, G., Jacobson, I., Rumbaugh, J.: The Unified Modeling Language - a Reference Manual. Addison-Wesley, Reading (1998)"},{"unstructured":"Butler, M., Wald\u00e9n: Distributed system development in B. In: Proceedings of the 1st Conference on the B Method, Nantes, France, November 1996, pp. 155\u2013168 (1996)","key":"15_CR10"},{"unstructured":"ClearSy. Atelier B. http:\/\/www.atelierb.societe.com\/","key":"15_CR11"},{"issue":"3","key":"15_CR12","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1016\/j.infsof.2005.03.008","volume":"48","author":"A. Idani","year":"2006","unstructured":"Idani, A., Ledru, Y.: Dynamic Graphical UML Views from Formal B Specifications. Information and Software Technology\u00a048(3), 154\u2013169 (2006)","journal-title":"Information and Software Technology"},{"issue":"2","key":"15_CR13","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1145\/169701.169682","volume":"15","author":"S.M. Katz","year":"1993","unstructured":"Katz, S.M.: A superimposition control construct for distributed systems. ACM Transactions on Programming Languages and Systems\u00a015(2), 337\u2013356 (1993)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"unstructured":"M\u00e9tayer, C., Abrial, J.R., Voisin, L.: Event-B Language, RODIN Deliverable D7 [17] (2005)","key":"15_CR14"},{"unstructured":"UML 2.0 Superstructure Specification, Document-formal\/05-07-04 (UML Superstructure Specification, v2.0) (August 2005), (accessed 16.07.2006), http:\/\/www.omg.org\/cgi-bin\/doc?formal\/05-07-04","key":"15_CR15"},{"unstructured":"Petre, L., Troubitsyna, E., Wald\u00e9n, M., Bostr\u00f6m, P., Engblom, N., Jansson, M.: Methodology of integration of formal methods within the healthcare case study. TUCS Technical Reports No 436, Turku Centre for Computer Science, Finland (October 2001)","key":"15_CR16"},{"unstructured":"Rigorous Open Development Environment for Complex Systems (RODIN) - IST 511599, http:\/\/rodin.cs.ncl.ac.uk\/","key":"15_CR17"},{"key":"15_CR18","first-page":"182","volume-title":"Proceedings of the 2nd International B Conference","author":"E. Sekerinski","year":"1998","unstructured":"Sekerinski, E.: Graphical Design of Reactive Systems. In: Proceedings of the 2nd International B Conference, Montpellier, France, April 1998, pp. 182\u2013197. Springer, Heidelberg (1998)"},{"issue":"3","key":"15_CR19","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1002\/stvr.349","volume":"16","author":"A. Simons","year":"2006","unstructured":"Simons, A.: A theory of regression testing for behaviourally compatible object types. Software Testing, Verification and Reliability\u00a016(3), 133\u2013156; (UKTest 2005 Special Edition)","journal-title":"Software Testing, Verification and Reliability"},{"unstructured":"Snook, C., Butler, M.: U2B Downloads, http:\/\/www.ecs.soton.ac.uk\/~cfs\/U2Bdownloads.htm","key":"15_CR20"},{"key":"15_CR21","volume-title":"UML-B Specification for Proven Embedded Systems Design","author":"C. Snook","year":"2004","unstructured":"Snook, C., Butler, M.: U2B -a tool for translating UML-B models into B. In: Mermet, J. (ed.) UML-B Specification for Proven Embedded Systems Design, Springer, Heidelberg (2004)"},{"key":"15_CR22","volume-title":"UML-B Specification for Proven Embedded Systems Design","author":"C. Snook","year":"2004","unstructured":"Snook, C., Oliver, I., Butler, M.: The UML-B profile for formal systems modelling in UML. In: Mermet, J. (ed.) UML-B Specification for Proven Embedded Systems Design, Springer, Heidelberg (2004)"},{"unstructured":"Snook, C., Tsiopoulos, L., Wald\u00e9n, M.: A case study in requirement analysis of control systems using UML and B. In: Proceedings of RCS 2003 - International workshop on Refinement of Critical Systems: Methods, Tools and Experience, Turku, Finland (June 2003), http:\/\/www.esil.univ-mrs.fr\/~spc\/rcs03\/rcs03.html","key":"15_CR23"},{"doi-asserted-by":"crossref","unstructured":"Snook, C., Wald\u00e9n, M.: Refinement of Statemachines using Hierarchical States, Choice Points and Joins. In: Proceedings of the EPSRC RefineNet Workshop, UK (2005)","key":"15_CR24","DOI":"10.1007\/11955757_15"},{"unstructured":"Troubitsyna, E.: Stepwise Development of Dependable Systems. Turku Centre for Computer Science, TUCS, Ph.D. thesis No.29 (June 2000)","key":"15_CR25"},{"doi-asserted-by":"crossref","unstructured":"Wald\u00e9n, M., Sere, K.: Reasoning About Action Systems Using the B-Method. Formal Methods in Systems Design\u00a013(5-35) (1998)","key":"15_CR26","DOI":"10.1023\/A:1008688421367"}],"container-title":["Lecture Notes in Computer Science","B 2007: Formal Specification and Development in B"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11955757_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,12]],"date-time":"2025-01-12T08:50:50Z","timestamp":1736671850000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11955757_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540687603","9783540687610"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/11955757_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}