{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T15:05:40Z","timestamp":1725635140429},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,7]]},"DOI":"10.1109\/indin.2015.7281707","type":"proceedings-article","created":{"date-parts":[[2015,10,1]],"date-time":"2015-10-01T21:59:09Z","timestamp":1443736749000},"page":"37-42","source":"Crossref","is-referenced-by-count":4,"title":["Coupling simulation and model checking to examine selected mechanical constraints of automated production systems"],"prefix":"10.1109","author":[{"given":"B.","family":"Vogel-Heuser","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Folmer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T.","family":"Aicher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Mund","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Rehberger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/PDMC-HiBi.2010.13"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"606","DOI":"10.1007\/11901433_33","article-title":"Tool for translating simulink models into input language of a model checker","author":"meenakshi","year":"2006","journal-title":"Formal Methods and Software Engineering"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1017753.1017795"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1007\/11563228_10","article-title":"Model-based safety analysis of simulink models using SCADE design verifier","author":"joshi","year":"2005","journal-title":"Int Conf on Computer Safety Reliability and Security (SAFECOMP)"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2001.989794"},{"key":"ref15","first-page":"68","article-title":"Integration of formal analysis into a model-based software development process","author":"whalen","year":"2007","journal-title":"in 12th International Workshop on Formal Methods for Industrial Critical Systems (FMICS)"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16164-3_6"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1646353.1646372"},{"key":"ref18","first-page":"7866","article-title":"PLC-Statecharts: An Approach to Integrate UML-Statecharts in Open-Loop Control Engineering Aspects on Behavioral Semantics and Model-Checking","author":"witsch","year":"2011","journal-title":"International Federation of Automatic Control (IFAC) World Congress"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2009.5415231"},{"journal-title":"NE107","article-title":"Self-Monitoring and Diagnosis of Field Devices","year":"2005","key":"ref4"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0025774"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-8157-6_13"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/BF01384079"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1992.185551"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.14.1"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2012.42"},{"key":"ref2","article-title":"Researching Evolution in Industrial Plant Automation: Scenarios and Documentation of the Pick and Place Unit","author":"vogel-heuser","year":"0","journal-title":"Technical Report 2014"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2009.5161000"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1515\/auto-2014-1111"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45236-2_13"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/5.871304"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.12.022"},{"key":"ref24","first-page":"37","article-title":"Logic controllers dependability verification using a plant model","author":"machado","year":"2006","journal-title":"Proceedings of the 3rd IFAC Workshop on Discrete-Event System Design (DesDes06)"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2001.972974"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1515\/auto-2014-1099"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2008.2005785"}],"event":{"name":"2015 IEEE 13th International Conference on Industrial Informatics (INDIN)","start":{"date-parts":[[2015,7,22]]},"location":"Cambridge, United Kingdom","end":{"date-parts":[[2015,7,24]]}},"container-title":["2015 IEEE 13th International Conference on Industrial Informatics (INDIN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7270516\/7281697\/07281707.pdf?arnumber=7281707","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,31]],"date-time":"2019-08-31T05:12:28Z","timestamp":1567228348000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7281707\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/indin.2015.7281707","relation":{},"subject":[],"published":{"date-parts":[[2015,7]]}}}