{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:26:44Z","timestamp":1761596804651,"version":"3.43.0"},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2003,5,1]],"date-time":"2003-05-01T00:00:00Z","timestamp":1051747200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2003,5,1]],"date-time":"2003-05-01T00:00:00Z","timestamp":1051747200000},"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":["Formal Methods in System Design"],"published-print":{"date-parts":[[2003,5]]},"DOI":"10.1023\/a:1022901312673","type":"journal-article","created":{"date-parts":[[2003,4,7]],"date-time":"2003-04-07T18:16:51Z","timestamp":1049739411000},"page":"249-282","source":"Crossref","is-referenced-by-count":4,"title":["Analysis of an Industrial System"],"prefix":"10.1007","volume":"22","author":[{"given":"J.J.T.","family":"Kleijn","sequence":"first","affiliation":[]},{"given":"M.A.","family":"Reniers","sequence":"additional","affiliation":[]},{"given":"J.E.","family":"Rooda","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5119208_CR1","unstructured":"W. Alberts, and G. Naumoski, \u201cA discrete-event simulator for systems engineering,\u201d Ph.D. thesis, Eindhoven University of Technology, 1998."},{"key":"5119208_CR2","unstructured":"M. Andersson, \u201cObject-oriented modeling and simulation of hybrid systems,\u201d Ph.D. thesis, Department of Automatic Control, Lund Institute of Technology, 1994."},{"key":"5119208_CR3","unstructured":"N. Arends, \u201cA systems engineering specification formalism,\u201d Ph.D. thesis, Eindhoven University of Technology, 1996."},{"key":"5119208_CR4","unstructured":"H. Barendrecht, The Lambda Calculus, its Syntax and Semantics (revised ed.), Vol. 103 of Studies in Logic and the Foundations of Mathematics. North-Holland, 1984."},{"key":"5119208_CR5","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/S0019-9958(84)80025-X","volume":"60","author":"J. Bergstra","year":"1984","unstructured":"J. Bergstra and J. Klop, \u201cProcess algebra for synchronous communication,\u201d Information and Control, Vol. 60, pp. 109\u2013137, 1984.","journal-title":"Information and Control"},{"key":"5119208_CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01212523","volume":"9","author":"M. Bezem","year":"1997","unstructured":"M. Bezem, R. Bol, and J. Groote, \u201cFormalizing process algebraic verifications in the calculus of constructions,\u201d Formal Aspects of Computing Vol. 9, pp. 1\u201348, 1997.","journal-title":"Formal Aspects of Computing"},{"issue":"4","key":"5119208_CR7","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1093\/comjnl\/37.4.289","volume":"37","author":"M. Bezem","year":"1994","unstructured":"M. Bezem and J. Groote, \u201cA correctness proof of a one-bit sliding window protocol in \u00b5CRL,\u201d The Computer Journal, Vol. 37, No. 4, pp. 289\u2013307, 1994.","journal-title":"The Computer Journal"},{"key":"5119208_CR8","unstructured":"V. Bos and J. Kleijn, \u201cStructured operational semantics of \u03be,\u201d Computing Science Reports 99\/01, Eindhoven University of Technology, Eindhoven, The Netherlands, 1999."},{"key":"5119208_CR9","doi-asserted-by":"crossref","unstructured":"K. Chandy and J. Misra, Parallel Program Design: A Foundation, Addison-Wesley, 1989.","DOI":"10.1007\/978-1-4613-9668-0_6"},{"key":"5119208_CR10","unstructured":"A. Dewey, Analysis and Design of Digital Systems with VHDL, Brooks\/Cole, 1997."},{"key":"5119208_CR11","unstructured":"E. Dijkstra, A Discipline of Programming, Prentice-Hall Series in Automatic Computation, Prentice-Hall, 1976."},{"key":"5119208_CR12","unstructured":"G. F\u00e1bi\u00e1n, \u201cA language and simulator for hybrid systems,\u201d Ph.D. thesis, Eindhoven University of Technology, The Netherlands, 1999."},{"key":"5119208_CR13","unstructured":"J. Fey, \u201cDesign of a fruit juice blending and packaging plant,\u201d Ph.D. thesis, Eindhoven University of Technology, The Netherlands, to appear."},{"key":"5119208_CR14","doi-asserted-by":"crossref","first-page":"459","DOI":"10.1016\/S0304-3975(96)00256-3","volume":"177","author":"L.-\u00c5 Fredlund","year":"1997","unstructured":"L.-\u00c5 Fredlund, J. Groote, and H. Korver, \u201cFormal verification of a leader election protocol in process algebra,\u201d Theoretical Computer Science, Vol. 177, pp. 459\u2013486, 1997.","journal-title":"Theoretical Computer Science"},{"key":"5119208_CR15","unstructured":"H. Garavel, M. Jorgensen, R. Mateescu, C. Pecheur, M. Sighireanu, and B. Vivien, \u201cCADP'97\u2014Status, applications, and perspectives,\u201d in I. Lovrek (Ed.), Proceedings of the 2nd COST 247 International Workshop on Applied Formal Methods in System Design, Zagreb, Croatia, 1997."},{"key":"5119208_CR16","unstructured":"M. Gordon and T. Melham, Introduction to HOL: A Theorem Proving Environment for Higher Order Logic, Cambridge University Press, 1993."},{"key":"5119208_CR17","doi-asserted-by":"crossref","unstructured":"J. Groote and A. Ponse, \u201cProof theory for \u00b5CRL: A language for processes with data,\u201d in D. Andrews, J. Groote, and C. Middelburg (Eds.), Proceedings of the International Workshop on Semantics of Specification Languages. The Netherlands, 1994, pp. 231\u2013250","DOI":"10.1007\/978-1-4471-3229-5_13"},{"key":"5119208_CR18","doi-asserted-by":"crossref","unstructured":"J. Groote and A. Ponse, \u201cThe syntax and semantics of \u00b5CRL,\u201d in A. Ponse, C. Verhoef, and S. van Vlijmen (Eds.), ACP: Algebra of Communicating Processes, Utrecht, The Netherlands, 1995, pp. 26\u201362.","DOI":"10.1007\/978-1-4471-2120-6_2"},{"key":"5119208_CR19","unstructured":"J. Groote, A. Ponse, and Y. Usenko, \u201cLinearization in parallel pCRL,\u201d Report SEN-R0019, CWI, 2000."},{"key":"5119208_CR20","unstructured":"J. Groote and J. Springintveld, \u201cFocus points and convergent process operators: A proof strategy for protocol verification,\u201d Logic Group Preprint Series 142, Utrecht Research Institute for Philosophy, 1995."},{"key":"5119208_CR21","unstructured":"J. Groote and J. Springintveld, \u201cAlgebraic verification of a distributed summation algorithm,\u201d Technical Report R9640, CWI, Amsterdam, 1996."},{"key":"5119208_CR22","doi-asserted-by":"crossref","unstructured":"J. Groote and J. van de Pol, \u201cA bounded retransmission protocol for large data packets. A case study in computer checked verification,\u201d in M. Wirsing and M. Nivat (Eds.), Proceedings of AMAST'96, Vol. 1101 of Lecture Notes in Computer Science, Munich, 1996, pp. 536\u2013550.","DOI":"10.1007\/BFb0014338"},{"key":"5119208_CR23","unstructured":"J. Groote and J. van Wamel, \u201cAnalysis of three hybrid systems in timed \u00b5CRL,\u201d Report SEN-R9815, CWI. To appear in Science of Computer Programming, 1998."},{"key":"5119208_CR24","unstructured":"P. Haagh, A. Wilkens, H. Rulkens, E. van Campen, and J. Rooda, \u201cApplication of a layout design method to the dielectric decomposition area in a 300 mm wafer fab,\u201d in Proceedings of the Seventh International Symposium on Semiconductor Manufacturing. Tokyo, Japan, 1998, pp. 69\u201372."},{"key":"5119208_CR25","doi-asserted-by":"crossref","unstructured":"C. Hoare, Communicating Sequential Processes, Prentice-Hall, 1985","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"5119208_CR26","unstructured":"IEEE, \u201cIEEE Standard VHDL Language Reference Manual\/Sh14894,\u201d IEEE standards interpretations edition, 1987. IEEE Std 1076\u20131987."},{"key":"5119208_CR27","unstructured":"D. Kettenis, \u201cIssues of parallelization in implementation of the combined simulation language COSMOS,\u201d Ph.D. thesis, Delft University of Technology, 1994."},{"key":"5119208_CR28","unstructured":"B. Khoshnevis, Discrete Systems Simulation, McGraw-Hill, 1994."},{"key":"5119208_CR29","unstructured":"H.Korver and M. Sellink, \u201cOn automating process algebra proofs,\u201d in V. Atalay, U. Halici, K. Inan, N. Yalabik, and A. Yazici (Eds.), Proceedings of the Eleventh International Symposium on Computer and Information Sciences (ISCIS XI), Antalya, Turkey, 1996, pp. 815\u2013826."},{"key":"5119208_CR30","unstructured":"N. Lynch, Distributed Algorithms, Morgan Kaufmann, 1996."},{"issue":"3","key":"5119208_CR31","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1177\/003754977602600302","volume":"26","author":"E. Mitchell","year":"1976","unstructured":"E. Mitchell and J. Gauthier, \u201cAdvanced continuous simulation language,\u201d Simulation, Vol. 26, No. 3, pp. 72\u201378, 1976.","journal-title":"Simulation"},{"key":"5119208_CR32","doi-asserted-by":"crossref","unstructured":"S. Owre, J.M. Rushby, and N. Shankar, \u201cPVS: A prototype verification System,\u201d in D. Kapur (Ed.), 11th International Conference on Automated Deduction (CADE), Vol. 607 of Springer Verlag Lecture Notes in Artificial Intelligence. Saratoga, NY, 1992, pp. 748\u2013752 (reprint).","DOI":"10.1007\/3-540-55602-8_217"},{"key":"5119208_CR33","unstructured":"C. Pegden, R. Shannon, and R. Sadowski, Introduction to Simulation Using SIMAN, McGraw-Hill, 1995."},{"key":"5119208_CR34","unstructured":"J. Peterson, Petri Net Theory and the Modeling of Systems, Prentice-Hall, 1981."},{"key":"5119208_CR35","unstructured":"C. Roth, Digital Systems Design Using VHDL, Brooks\/Cole, 1998."},{"key":"5119208_CR36","doi-asserted-by":"crossref","unstructured":"H. Rulkens, E. van Campen, J. van Herk, and J. Rooda, \u201cBatch size optimization of a furnace and pre clean area by using dynamic simulations,\u201d in Proceedings of the Advanced Semiconductor Manufacturing Conference. Boston, 1998, pp. 439\u2013444.","DOI":"10.1109\/ASMC.1998.731643"},{"key":"5119208_CR37","unstructured":"E. van Campen, \u201cDesign of a multi-product, multi-process wafer fab,\u201d Ph.D. thesis, Eindhoven University of Technology, The Netherlands. To appear."},{"key":"5119208_CR38","unstructured":"J. van de Mortel-Fronczak and J. Rooda, \u201cHeterarchical control systems for production cells\u2014A case study,\u201d in Proceedings of MIM'97. Vienna, Austria, 1997, pp. 243\u2013248."},{"key":"5119208_CR39","doi-asserted-by":"crossref","unstructured":"K. van Hee, L. Somers, and M. Voorhoeve, \u201cThe EXSPECT tool,\u201d in S. Prehn and W. Toetenel (Eds.), VDM'91\u2014Formal Software Development, Vol. 551 of Lecture Notes in Computer Science. 1991, pp. 683\u2013684.","DOI":"10.1007\/3-540-54834-3_47"},{"key":"5119208_CR40","unstructured":"J. van Wamel, \u201cVerification techniques for elementary data types and retransmission protocols,\u201d Ph.D. thesis, University of Amsterdam, 1995."},{"key":"5119208_CR41","unstructured":"A. Wauters, \u201cManual for the \u00b5CRL toolset: Version 1.11,\u201d 2000. Available at http:\/\/www.cwi.nl\/~mcrl."}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1022901312673.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1022901312673\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1022901312673.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,5]],"date-time":"2025-08-05T19:04:40Z","timestamp":1754420680000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1022901312673"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,5]]},"references-count":41,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2003,5]]}},"alternative-id":["5119208"],"URL":"https:\/\/doi.org\/10.1023\/a:1022901312673","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"type":"print","value":"0925-9856"},{"type":"electronic","value":"1572-8102"}],"subject":[],"published":{"date-parts":[[2003,5]]}}}