{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,18]],"date-time":"2026-02-18T04:17:39Z","timestamp":1771388259755,"version":"3.50.1"},"reference-count":62,"publisher":"Informa UK Limited","issue":"3","content-domain":{"domain":["www.tandfonline.com"],"crossmark-restriction":true},"short-container-title":["International Journal of Computer Integrated Manufacturing"],"published-print":{"date-parts":[[2024,3,3]]},"DOI":"10.1080\/0951192x.2023.2209860","type":"journal-article","created":{"date-parts":[[2023,5,10]],"date-time":"2023-05-10T17:54:13Z","timestamp":1683741253000},"page":"266-284","update-policy":"https:\/\/doi.org\/10.1080\/tandf_crossmark_01","source":"Crossref","is-referenced-by-count":3,"title":["State-based verification of industrial control programs with the use of a digital model"],"prefix":"10.1080","volume":"37","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4986-872X","authenticated-orcid":false,"given":"Matthias","family":"Schamp","sequence":"first","affiliation":[{"name":"Department of Industrial Systems Engineering and Product Design, Ghent University, Gent-Zwijnaarde, Belgium"},{"name":"Industrial Systems Engineering (ISyE), Flanders Make, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3849-2218","authenticated-orcid":false,"given":"El-Houssaine","family":"Aghezzaf","sequence":"additional","affiliation":[{"name":"Department of Industrial Systems Engineering and Product Design, Ghent University, Gent-Zwijnaarde, Belgium"},{"name":"Industrial Systems Engineering (ISyE), Flanders Make, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1668-3331","authenticated-orcid":false,"given":"Johannes","family":"Cottyn","sequence":"additional","affiliation":[{"name":"Department of Industrial Systems Engineering and Product Design, Ghent University, Gent-Zwijnaarde, Belgium"},{"name":"Industrial Systems Engineering (ISyE), Flanders Make, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","published-online":{"date-parts":[[2023,5,9]]},"reference":[{"key":"e_1_3_3_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2015.2489184"},{"issue":"2","key":"e_1_3_3_3_1","first-page":"249","article-title":"Modelling of Parameterized Discrete Control Algorithms with Use of Finite State Machines in TIA Portal Environment","volume":"64","author":"Andrzejewski G.","year":"2018","unstructured":"Andrzejewski, G., and W. Zaj\u0105c. 2018. \u201cModelling of Parameterized Discrete Control Algorithms with Use of Finite State Machines in TIA Portal Environment.\u201d International Journal of Electronics and Telecommunications 64 (2): 249\u2013254.","journal-title":"International Journal of Electronics and Telecommunications"},{"key":"e_1_3_3_5_1","doi-asserted-by":"publisher","DOI":"10.1080\/0951192X.2021.2022762"},{"key":"e_1_3_3_6_1","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1109\/ICST.2014.43","volume-title":"2014 IEEE Seventh International Conference on Software Testing, Verification and Validation","author":"Baller H.","year":"2014","unstructured":"Baller, H., S. Lity, M. Lochau, and I. Schaefer. 2014. \u201cMulti-Objective Test Suite Optimization for Incremental Product Family Testing.\u201d In 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation, Cleveland, OH, USA, 303\u2013312. IEEE."},{"key":"e_1_3_3_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2953499"},{"key":"e_1_3_3_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2012.09.022"},{"key":"e_1_3_3_9_1","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1145\/2351676.2351741","volume-title":"Proceedings of the 27th IEEE\/ACM International Conference on Automated Software Engineering - ASE 2012","author":"Biallas S.","year":"2012","unstructured":"Biallas, S., J. Brauer, and S. Kowalewski. 2012. \u201cArcade.Plc: A Verification Platform for Programmable Logic Controllers.\u201d In Proceedings of the 27th IEEE\/ACM International Conference on Automated Software Engineering - ASE 2012, New York, New York, USA, 338. ACM Press."},{"key":"e_1_3_3_10_1","doi-asserted-by":"crossref","first-page":"731","DOI":"10.1109\/ICST.2012.164","volume-title":"2012 IEEE Fifth International Conference on Software Testing, Verification and Validation","author":"Caliebe P.","year":"2012","unstructured":"Caliebe, P., T. Herpel, and R. German. 2012. \u201cDependency-Based Test Case Selection and Prioritization in Embedded Systems.\u201d In 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation, Montreal, Quebec Canada, 731\u2013735. IEEE."},{"key":"e_1_3_3_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.promfg.2020.01.197"},{"key":"e_1_3_3_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.compind.2019.103130"},{"key":"e_1_3_3_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cie.2020.106868"},{"key":"e_1_3_3_15_1","doi-asserted-by":"publisher","DOI":"10.1080\/00207543.2021.1990433"},{"key":"e_1_3_3_16_1","doi-asserted-by":"crossref","first-page":"616","DOI":"10.1109\/ETFA.2008.4638461","volume-title":"Emerging Technologies and Factory Automation, 2008. ETFA 2008. IEEE International Conference on","author":"Drath R.","year":"2008","unstructured":"Drath, R., A. Luder, J. Peschke, and L. Hundt. 2008. \u201cAutomationMl-The Glue for Seamless Automation Engineering.\u201d In Emerging Technologies and Factory Automation, 2008. ETFA 2008. IEEE International Conference on, Montreal, Quebec Canada, 616\u2013623. IEEE."},{"key":"e_1_3_3_17_1","first-page":"141","article-title":"A Tutorial on Runtime Verification","volume":"34","author":"Falcone Y.","year":"2013","unstructured":"Falcone, Y., K. Havelund, and G. Reger. 2013. \u201cA Tutorial on Runtime Verification.\u201d Engineering Dependable Software Systems 34: 141\u2013175.","journal-title":"Engineering Dependable Software Systems"},{"key":"e_1_3_3_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2018.2873186"},{"key":"e_1_3_3_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.promfg.2018.06.046"},{"key":"e_1_3_3_20_1","doi-asserted-by":"publisher","DOI":"10.1080\/0951192X.2021.1946857"},{"key":"e_1_3_3_21_1","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1109\/ICARA.2011.6144856","volume-title":"The 5th international conference on automation, robotics and applications","author":"Hametner R.","year":"2011","unstructured":"Hametner, R., B. Kormann, B. Vogel-Heuser, D. Winkler, and A. Zoitl. 2011. \u201cTest Case Generation Approach for Industrial Automation Systems.\u201d In The 5th international conference on automation, robotics and applications, Wellington, New Zealand, 57\u201362. IEEE."},{"key":"e_1_3_3_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cirpj.2020.02.002"},{"key":"e_1_3_3_23_1","first-page":"1295","volume-title":"DS 48: Proceedings DESIGN 2008, the 10th International Design Conference","author":"Kiefer J.","year":"2008","unstructured":"Kiefer, J., T. Baer, and H. Bley. 2008. \u201cMechatronic-Oriented Design of Automated Manufacturing Systems in the Automotive Body Shop.\u201d DS 48: Proceedings DESIGN 2008, the 10th International Design Conference, Dubrovnik, Croatia 1295\u20131302."},{"key":"e_1_3_3_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2020.110575"},{"key":"e_1_3_3_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2018.08.474"},{"key":"e_1_3_3_26_1","doi-asserted-by":"publisher","DOI":"10.1080\/0951192X.2021.1911003"},{"key":"e_1_3_3_27_1","doi-asserted-by":"crossref","first-page":"1125","DOI":"10.1016\/j.procir.2019.03.278","article-title":"Virtual Commissioning \u2013 Scientific Review and Exploratory Use Cases in Advanced Production Systems","volume":"81","author":"Lechler T.","year":"2019","unstructured":"Lechler, T., E. Fischer, M. Metzner, A. Mayr, and J. Franke. 2019. \u201cVirtual Commissioning \u2013 Scientific Review and Exploratory Use Cases in Advanced Production Systems.\u201d Procedia CIRP 81: 1125\u20131130. https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S2212827119305839.","journal-title":"Procedia CIRP"},{"key":"e_1_3_3_28_1","doi-asserted-by":"publisher","DOI":"10.7315\/JCDE.2014.021"},{"key":"e_1_3_3_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2008.08.004"},{"key":"e_1_3_3_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jmsy.2020.06.017"},{"key":"e_1_3_3_31_1","first-page":"131","volume-title":"Automation","author":"Liu Z.","year":"2012","unstructured":"Liu, Z., N. Suchold, and C. Diedrich. 2012. \u201cVirtual Commissioning of Automated Systems.\u201c In Automation, edited by Florian Kongoli, 131\u2013148. London, United Kingdom: InTech."},{"key":"e_1_3_3_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2009.2031095"},{"key":"e_1_3_3_33_1","first-page":"851","volume-title":"IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2020-Septe","author":"L\u00f6cklin A.","year":"2020","unstructured":"L\u00f6cklin, A., M. M\u00fcller, T. Jung, N. Jazdi, D. White, and M. Weyrich. 2020. \u201cDigital Twin for Verification and Validation of Industrial Automation Systems - a Survey.\u201d IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2020-Septe, Vienna, Austria, 851\u2013858."},{"key":"e_1_3_3_34_1","first-page":"10","volume-title":"Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2021","author":"Lopez-Miguel I. D.","year":"2021","unstructured":"Lopez-Miguel, I. D., B. Fern\u00e1ndez Adiego, J. Charles Tournier, E. Blanco Vi\u00f1uela, and J. A. Rodriguez-Aguilar. 2021. \u201cSimplification of Numeric Variables for PLC Model Checking.\u201d Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2021, Online, 10\u201320."},{"key":"e_1_3_3_35_1","doi-asserted-by":"publisher","DOI":"10.3390\/s21144656"},{"key":"e_1_3_3_36_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.promfg.2017.07.198"},{"key":"e_1_3_3_37_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.compind.2020.103328"},{"key":"e_1_3_3_38_1","doi-asserted-by":"publisher","DOI":"10.1080\/0951192X.2022.2027014"},{"key":"e_1_3_3_39_1","first-page":"2564","volume-title":"IECON Proceedings (Industrial Electronics Conference)","author":"Oppelt M.","year":"2014","unstructured":"Oppelt, M., and L. Urbas. 2014. \u201cIntegrated Virtual Commissioning an Essential Activity in the Automation Engineering Process: From Virtual Commissioning to Simulation Supported Engineering.\u201d IECON Proceedings (Industrial Electronics Conference), Dallas, TX, 2564\u20132570."},{"key":"e_1_3_3_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/949952.940089"},{"key":"e_1_3_3_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-014-0448-7"},{"key":"e_1_3_3_42_1","first-page":"1","article-title":"Deep Reinforcement Learning in Production Systems: A Systematic Literature Review","volume":"60","author":"Panzer M.","year":"2021","unstructured":"Panzer, M., and B. Bender. 2021. \u201cDeep Reinforcement Learning in Production Systems: A Systematic Literature Review.\u201d International Journal of Production Research 60: 1\u201326.","journal-title":"International Journal of Production Research"},{"key":"e_1_3_3_43_1","doi-asserted-by":"publisher","DOI":"10.1080\/00207543.2020.1788738"},{"key":"e_1_3_3_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2011.2166768"},{"key":"e_1_3_3_45_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2015.05.027"},{"key":"e_1_3_3_46_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11740-007-0066-0"},{"key":"e_1_3_3_47_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2016.09.012"},{"key":"e_1_3_3_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.962562"},{"key":"e_1_3_3_49_1","first-page":"303","article-title":"Automatic Code Generation for PLC Controllers","volume":"3688","author":"Sacha K.","year":"2005","unstructured":"Sacha, K. 2005. \u201cAutomatic Code Generation for PLC Controllers.\u201d Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 3688: 303\u2013316. 3688 LNCS (Il).","journal-title":"Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"},{"key":"e_1_3_3_50_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2018.08.469"},{"key":"e_1_3_3_51_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.promfg.2020.01.229"},{"key":"e_1_3_3_52_1","first-page":"385","volume-title":"Proceedings - 2021 IEEE European Symposium on Security and Privacy, Euro S and P 2021","author":"Sun R.","year":"2021","unstructured":"Sun, R., A. Mera, L. Long, and D. Choffnes. 2021. \u201cSoK: Attacks on Industrial Control Logic and Formal Verification-Based Defenses.\u201d Proceedings - 2021 IEEE European Symposium on Security and Privacy, Euro S and P 2021, Online, 385\u2013402."},{"key":"e_1_3_3_53_1","first-page":"1","volume-title":"2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA)","author":"S\u00fc\u00df S.","year":"2016","unstructured":"S\u00fc\u00df, S., S. Magnus, M. Thron, H. Zipper, U. Odefey, V. F\u00e4\u00dfler, A. Strahilov, A. K\u0142odowski, T. B\u00e4r, and C. Diedrich. 2016. \u201cTest Methodology for Virtual Commissioning Based on Behaviour Simulation of Production Systems.\u201d In 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA), Berlin, Germany, 1\u20139. IEEE."},{"key":"e_1_3_3_54_1","doi-asserted-by":"publisher","DOI":"10.2478\/jee-2021-0011"},{"key":"e_1_3_3_55_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-017-0233-1"},{"key":"e_1_3_3_56_1","volume-title":"IEC 61131-3: Programming Industrial Automation Systems","author":"Tiegelkamp M.","year":"2010","unstructured":"Tiegelkamp, M., and K.H. John. 2010. IEC 61131-3: Programming Industrial Automation Systems. Berlin, Germany: Springer."},{"key":"e_1_3_3_57_1","doi-asserted-by":"crossref","first-page":"2617","DOI":"10.1109\/IECON.2014.7048875","volume-title":"IECON 2014 - 40th Annual Conference of the IEEE Industrial Electronics Society","author":"Ulewicz S.","year":"2014","unstructured":"Ulewicz, S., D. Schutz, and B. Vogel-Heuser. 2014. \u201cSoftware Changes in Factory Automation: Towards Automatic Change Based Regression Testing.\u201d In IECON 2014 - 40th Annual Conference of the IEEE Industrial Electronics Society, Dallas, TX, October, 2617\u20132623. IEEE."},{"key":"e_1_3_3_58_1","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1109\/ISAM.2016.7750714","volume-title":"2016 IEEE International Symposium on Assembly and Manufacturing (ISAM)","author":"Ulewicz S.","year":"2016","unstructured":"Ulewicz, S., M. Ulbrich, A. Weigl, M. Kirsten, F. Wiebe, B. Beckert, and B. Vogel-Heuser. 2016. \u201cA Verification-Supported Evolution Approach to Assist Software Application Engineers in Industrial Factory Automation.\u201d In 2016 IEEE International Symposium on Assembly and Manufacturing (ISAM), Fort Worth, TX 76102, USA, August, 19\u201325. IEEE."},{"key":"e_1_3_3_59_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2018.01.010"},{"key":"e_1_3_3_60_1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2018.2810280"},{"key":"e_1_3_3_62_1","doi-asserted-by":"publisher","DOI":"10.3390\/electronics9040572"},{"key":"e_1_3_3_63_1","doi-asserted-by":"publisher","DOI":"10.1080\/00207543.2020.1813913"},{"key":"e_1_3_3_64_1","first-page":"1","volume-title":"2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA)","author":"Zeller A.","year":"2015","unstructured":"Zeller, A., and M. Weyrich. 2015. \u201cTest Case Selection for Networked Production Systems.\u201d In 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA), Luxembourg, 1\u20134. IEEE."},{"key":"e_1_3_3_66_1","doi-asserted-by":"publisher","DOI":"10.1080\/00207543.2020.1849846"},{"key":"e_1_3_3_67_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-62962-8_19"}],"container-title":["International Journal of Computer Integrated Manufacturing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/0951192X.2023.2209860","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,8]],"date-time":"2024-02-08T13:06:44Z","timestamp":1707397604000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.1080\/0951192X.2023.2209860"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5,9]]},"references-count":62,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2024,3,3]]}},"alternative-id":["10.1080\/0951192X.2023.2209860"],"URL":"https:\/\/doi.org\/10.1080\/0951192x.2023.2209860","relation":{},"ISSN":["0951-192X","1362-3052"],"issn-type":[{"value":"0951-192X","type":"print"},{"value":"1362-3052","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,5,9]]},"assertion":[{"value":"The publishing and review policy for this title is described in its Aims & Scope.","order":1,"name":"peerreview_statement","label":"Peer Review Statement"},{"value":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=tcim20","URL":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=tcim20","order":2,"name":"aims_and_scope_url","label":"Aim & Scope"},{"value":"2022-10-17","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-04-23","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-05-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}