{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T19:23:53Z","timestamp":1750361033978},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540278825"},{"type":"electronic","value":"9783540317142"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11526841_16","type":"book-chapter","created":{"date-parts":[[2010,7,18]],"date-time":"2010-07-18T12:51:58Z","timestamp":1279457518000},"page":"221-236","source":"Crossref","is-referenced-by-count":55,"title":["Combining CSP and B for Specification and Property Verification"],"prefix":"10.1007","author":[{"given":"Michael","family":"Butler","sequence":"first","affiliation":[]},{"given":"Michael","family":"Leuschel","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-Book","author":"J.-R. Abrial","year":"1996","unstructured":"Abrial, J.-R.: The B-Book. Cambridge University Press, Cambridge (1996)"},{"key":"16_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/BFb0053357","volume-title":"B\u201998: Recent Advances in the Development and Use of the B Method","author":"J.-R. Abrial","year":"1998","unstructured":"Abrial, J.-R., Mussat, L.: Introducing dynamic constraints in B. In: Bert, D. (ed.) B 1998. LNCS, vol.\u00a01393, p. 83. Springer, Heidelberg (1998)"},{"key":"16_CR3","unstructured":"U.\u00a0B-Core (UK)\u00a0Limited, Oxon. B-Toolkit, On-line manual, 1999. Available at, \n                    \n                      http:\/\/www.b-core.com\/ONLINEDOC\/Contents.html\n                    \n                    \n                  ."},{"issue":"3","key":"16_CR4","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/PL00003930","volume":"12","author":"M.J. Butler","year":"2000","unstructured":"Butler, M.J.: csp2B: A Practical Approach to Combining CSP and B. Formal Asp. Comput.\u00a012(3), 182\u2013198 (2000)","journal-title":"Formal Asp. Comput."},{"key":"16_CR5","volume-title":"Model Checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"16_CR6","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1007\/978-0-387-35261-9_29","volume-title":"Formal Methods for Open Object-Based Distributed Systems (FMOODS 1997)","author":"C. Fischer","year":"1997","unstructured":"Fischer, C.: CSP-OZ: A combination of Object-Z and CSP. In: Bowmann, H., Derrick, J. (eds.) Formal Methods for Open Object-Based Distributed Systems (FMOODS 1997), pp. 423\u2013438. Chapman & Hall, Boca Raton (1997)"},{"key":"16_CR7","unstructured":"Formal\u00a0Systems\u00a0(Europe)\u00a0Ltd. Failures-Divergence Refinement \u2014 FDR2 User Manual"},{"key":"16_CR8","unstructured":"Hartel, P., Butler, M., Currie, A., Henderson, P., Leuschel, M., Martin, A., Smith, A., Ultes-Nitsche, U., Walters, B.: Questions and answers about ten formal methods. In: Proc. 4th Int. Workshop on Formal Methods for Industrial Critical Systems, Trento, Italy (July 1999)"},{"key":"16_CR9","volume-title":"Communicating Sequential Processes","author":"C. Hoare","year":"1985","unstructured":"Hoare, C.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)"},{"key":"16_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1007\/3-540-45241-9_2","volume-title":"Practical Aspects of Declarative Languages","author":"M. Leuschel","year":"2001","unstructured":"Leuschel, M.: Design and implementation of the high-level specification language CSP(LP) in Prolog. In: Ramakrishnan, I.V. (ed.) PADL 2001. LNCS, vol.\u00a01990, pp. 14\u201328. Springer, Heidelberg (2001)"},{"key":"16_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"855","DOI":"10.1007\/978-3-540-45236-2_46","volume-title":"FME 2003: Formal Methods","author":"M. Leuschel","year":"2003","unstructured":"Leuschel, M., Butler, M.: ProB: A Model Checker for B.. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol.\u00a02805, pp. 855\u2013874. Springer, Heidelberg (2003)"},{"key":"16_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1007\/11415787_2","volume-title":"ZB 2005: Formal Specification and Development in Z and B","author":"M. Leuschel","year":"2005","unstructured":"Leuschel, M., Turner, E.: Visualizing larger states spaces in ProB. In: Treharne, H., King, S., C. Henson, M., Schneider, S. (eds.) ZB 2005. LNCS, vol.\u00a03455, pp. 6\u201323. Springer, Heidelberg (2005)"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"Mahony, B.P., Dong, S.: Blending Object-Z and Timed CSP: An introduction to TCOZ. In: 20th International Conference on Software Engineering (ICSE 1998), pp. 95\u2013104 (1998)","DOI":"10.1109\/ICSE.1998.671106"},{"issue":"1","key":"16_CR14","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/S0167-6423(00)00023-X","volume":"40","author":"A. Mota","year":"2001","unstructured":"Mota, A., Sampaio, A.: Model-checking CSP-Z: strategy, tool support and industrial application. Sci. Comput. Program.\u00a040(1), 59\u201396 (2001)","journal-title":"Sci. Comput. Program."},{"key":"16_CR15","volume-title":"The Theory and Practice of Concurrency","author":"A. Roscoe","year":"1998","unstructured":"Roscoe, A.: The Theory and Practice of Concurrency. Prentice-Hall, Englewood Cliffs (1998)"},{"key":"16_CR16","unstructured":"Scattergood, J.B.: Tools for CSP and Timed-CSP. PhD thesis, Oxford University (1997)"},{"key":"16_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-540-24756-2_6","volume-title":"Integrated Formal Methods","author":"S. Schneider","year":"2004","unstructured":"Schneider, S., Treharne, H.: Verifying controlled components. In: Boiten, E.A., Derrick, J., Smith, G.P. (eds.) IFM 2004. LNCS, vol.\u00a02999, pp. 87\u2013107. Springer, Heidelberg (2004)"},{"key":"16_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1007\/3-540-63533-5_4","volume-title":"FME \u201997 Industrial Applications and Strengthened Foundations of Formal Methods","author":"G. Smith","year":"1997","unstructured":"Smith, G.: A semantic integration of Object-Z and CSP for the specification of concurrent systems. In: Fitzgerald, J.S., Jones, C.B., Lucas, P. (eds.) FME 1997. LNCS, vol.\u00a01313, pp. 62\u201381. Springer, Heidelberg (1997)"},{"key":"16_CR19","unstructured":"Steria, F.: Aix-en-Provence. Atelier B, User and Reference Manuals(1996), Available at,\n                    \n                      http:\/\/www.atelierb.societe.com\/index_uk.html"},{"key":"16_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/3-540-45648-1_10","volume-title":"ZB 2002: Formal Specification and Development in Z and B","author":"J. Woodcock","year":"2002","unstructured":"Woodcock, J., Cavalcanti, A.: The semantics of Circus. In: Bert, D., P. Bowen, J., C. Henson, M., Robinson, K. (eds.) B 2002 and ZB 2002. LNCS, vol.\u00a02272, pp. 184\u2013203. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","FM 2005: Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11526841_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T02:47:51Z","timestamp":1619491671000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11526841_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540278825","9783540317142"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/11526841_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}