{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T02:10:18Z","timestamp":1737339018490,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540672616"},{"type":"electronic","value":"9783540464280"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-46428-x_23","type":"book-chapter","created":{"date-parts":[[2007,8,1]],"date-time":"2007-08-01T02:01:06Z","timestamp":1185933666000},"page":"334-348","source":"Crossref","is-referenced-by-count":7,"title":["Specification of an Automatic Manufacturing System: A Case Study in Using Integrated Formal Methods"],"prefix":"10.1007","author":[{"given":"Heike","family":"Wehrheim","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2000,5,19]]},"reference":[{"key":"23_CR1","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1016\/0920-5489(95)00024-O","volume":"17","author":"R. Duke","year":"1995","unstructured":"R. Duke, G. Rose, and G. Smith. Object-Z: A specification language advocated for the description of standards. Computer Standards and Interfaces, 17:511\u2013533, 1995.","journal-title":"Computer Standards and Interfaces"},{"key":"23_CR2","unstructured":"Formal Systems (Europe) Ltd. Failures-Divergence Refinement: FDR2 User Manual, Oct 1997."},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"C. Fischer. CSP-OZ: A combination of Object-Z and CSP. In H. Bowman and J. Derrick, editors, Formal Methods for Open Object-Based Distributed Systems (FMOODS\u2019 97), volume 2, pages 423\u2013438. Chapman & Hall, 1997.","DOI":"10.1007\/978-0-387-35261-9_29"},{"key":"23_CR4","doi-asserted-by":"crossref","unstructured":"C. Fischer and H. Wehrheim. Model-checking CSP-OZ specifications with FDR. In K. Araki, A. Galloway, and K. Taguchi, editors, Proceedings of the 1st International Conference on Integrated Formal Methods (IFM), pages 315\u2013334. Springer, 1999.","DOI":"10.1007\/978-1-4471-0851-1_17"},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"J.F. Groote and A. Ponse. Proof theory for \u03bc-CRL: A language for processes with data. In Semantics of specification languages, Workshops in Computing. Springer, 1993.","DOI":"10.1007\/978-1-4471-3229-5_13"},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"A. J. Galloway and W. Stoddart. An operational semantics for ZCCS. In M. Hinchey and Shaoying Liu, editors, Int. Conf. of Formal Engineering Methods (ICFEM). IEEE, 1997.","DOI":"10.1109\/ICFEM.1997.630434"},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"B. P. Mahony and J.S. Dong. Blending Object-Z and Timed CSP: An introduction to TCOZ. In The 20th International Conference on Software Engineering (ICSE\u201998), pages 95\u2013104. IEEE Computer Society Press, April 1998.","DOI":"10.1109\/ICSE.1998.671106"},{"key":"23_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1007\/BFb0053592","volume-title":"Proceedings of the European Joint Conference on Theory and Practice of Software","author":"A. Mota","year":"1998","unstructured":"A. Mota and A. Sampaio. Model-checking CSP-Z. In Proceedings of the European Joint Conference on Theory and Practice of Software, volume 1382 of LNCS, pages 205\u2013220, 1998."},{"key":"23_CR10","unstructured":"Object Management Group. OMG Unified Modeling Language Specification, June 1999. version 1.3."},{"key":"23_CR11","unstructured":"J. Quemada, editor. Revised working draft on enhancements to LOTOS (V4). ISO, 1996."},{"key":"23_CR12","unstructured":"A. W. Roscoe. The Theory and Practice of Concurrency. Prentice-Hall, 1997."},{"key":"23_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1007\/3-540-63533-5_4","volume-title":"Proceedings of FME 1997","author":"G. Smith","year":"1997","unstructured":"G. Smith. A semantic integration of Object-Z and CSP for the specification of concurrent systems. In J. Fitzgerald, C. B. Jones, and P. Lucas, editors, Proceedings of FME 1997, volume 1313 of LNCS, pages 62\u201381. Springer, 1997."},{"key":"23_CR14","doi-asserted-by":"crossref","unstructured":"G. Smith. The Object-Z Specification Language. Kluwer Academic Publisher, 2000.","DOI":"10.1007\/978-1-4615-5265-9"},{"key":"23_CR15","unstructured":"J. M. Spivey. The Z Notation: A Reference Manual. Prentice-Hall International Series in Computer Science, 2nd edition, 1992."},{"key":"23_CR16","doi-asserted-by":"crossref","unstructured":"B. Selic and J. Rumbaugh. Using UML for modeling complex real-time systems. Technical report, ObjecTime, 1998.","DOI":"10.1007\/BFb0057795"},{"key":"23_CR17","unstructured":"K. Taguchi and K. Araki. Specifying concurrent systems by Z + CCS. In International Symposium on Future Software Technology (ISFST), pages 101\u2013108, 1997."},{"key":"23_CR18","unstructured":"E. Westk\u00e4mper, M. H\u00f6pf, and C. Schaefier. Holonic manufacturing systems. In Lake Tahoe HMS Consortium, editor, Holonic manufacturing systems, 1994."}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46428-X_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T01:34:45Z","timestamp":1737336885000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46428-X_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540672616","9783540464280"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-46428-x_23","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}