{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T03:02:23Z","timestamp":1729652543238,"version":"3.28.0"},"reference-count":38,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.1109\/etfa.2015.7301533","type":"proceedings-article","created":{"date-parts":[[2015,10,26]],"date-time":"2015-10-26T18:21:19Z","timestamp":1445883679000},"page":"1-8","source":"Crossref","is-referenced-by-count":11,"title":["Efficient incident handling in industrial automation through collaborative engineering"],"prefix":"10.1109","author":[{"given":"Jan Olaf","family":"Blech","sequence":"first","affiliation":[]},{"given":"Ian","family":"Peake","sequence":"additional","affiliation":[]},{"given":"Heinz","family":"Schmidt","sequence":"additional","affiliation":[]},{"given":"Mallikarjun","family":"Kande","sequence":"additional","affiliation":[]},{"given":"Akilur","family":"Rahman","sequence":"additional","affiliation":[]},{"given":"Srini","family":"Ramaswamy","sequence":"additional","affiliation":[]},{"family":"Sudarsan SD","sequence":"additional","affiliation":[]},{"given":"Venkateswaran","family":"Narayanan","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/964001.964013"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/WORDS.2003.1267550"},{"year":"0","key":"ref32"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38082-2_19"},{"journal-title":"Ultra-Large-Scale Systems The Software Challenge of the Future","year":"2006","author":"northrop","key":"ref30"},{"journal-title":"STNexus An Integrated Database and Visualization Environment for Space-Time Information Exploitation","year":"2005","author":"weaver","key":"ref37"},{"journal-title":"OntoEdit Collaborative Ontology Development for the Semantic Web","year":"2002","author":"sure","key":"ref36"},{"key":"ref35","article-title":"SAGE: the scalable adaptive graphics environment","volume":"9","author":"renambot","year":"2004","journal-title":"Proceedings of WACE"},{"key":"ref34","article-title":"A Technology Whose Time Has Come","author":"smith","year":"2004","journal-title":"Earth Observation Magazine"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2014.7005271"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0065-2458(03)59001-5","article-title":"Collaborative development environments","volume":"59","author":"booch","year":"2003","journal-title":"Advances in Computers"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-77115-9_24"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/S0890-5401(03)00137-8"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2003.10.041"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28756-5_35"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.2307\/41166121"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/234215.234474"},{"journal-title":"Moura The yices smt solver Tool","year":"2006","author":"dutertre","key":"ref18"},{"journal-title":"Dassault Systemes","article-title":"DS DELMIA V6R2013x-Fact Sheet: 3DEXPERIENCES of Global Production Systems for all stakeholders in the extended supply chain","year":"2013","key":"ref19"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24597-1_22"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1038\/scientificamerican0501-34"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1177\/1063293X9300100301"},{"key":"ref3","doi-asserted-by":"crossref","DOI":"10.1023\/A:1020083231504","article-title":"Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning","volume":"17","author":"bennett","year":"2002","journal-title":"Applied Intelligence"},{"key":"ref6","article-title":"Towards Modeling and Checking the Spatial and Interaction Behavior of Widely Distributed Systems","author":"blech","year":"2013","journal-title":"Improving Systems and Software Engineering Conference"},{"key":"ref29","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","article-title":"Z3: An efficient SMT solver","author":"de moura","year":"2008","journal-title":"In Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"ref5","article-title":"BeSpaceD: Towards a Tool Framework and Methodology for the Specification and Verification of Spatial Behavior of Distributed Software Component Systems","author":"blech","year":"2014","journal-title":"ArXiv org"},{"journal-title":"AICAUSE Research Centre Facilities","year":"2014","key":"ref8"},{"key":"ref7","article-title":"Cyber-Virtual Systems: Simulation, Validation & Visualization","author":"blech","year":"2014","journal-title":"Evaluation of Novel Approaches to Software Engineering"},{"key":"ref2","article-title":"A 3D geological information system framework. Geophysical Research Abstracts","volume":"7","author":"apel","year":"2005","journal-title":"Eur Geosciences Union"},{"key":"ref9","article-title":"Cyber-Virtual Systems: Simulation, Validation & Visualization","author":"blech","year":"2014","journal-title":"Evaluation of Novel Approaches to Software Engineering"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-5587-4"},{"journal-title":"Dassault Systemes","year":"2013","key":"ref20"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2015.46"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.147.1"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/SYSTEMS.2009.4815762"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.03.031"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/MARK.2011.6046560"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/EDOCW.2009.5331991"}],"event":{"name":"2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA)","start":{"date-parts":[[2015,9,8]]},"location":"Luxembourg, Luxembourg","end":{"date-parts":[[2015,9,11]]}},"container-title":["2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7295717\/7301399\/07301533.pdf?arnumber=7301533","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T18:15:51Z","timestamp":1498241751000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7301533\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9]]},"references-count":38,"URL":"https:\/\/doi.org\/10.1109\/etfa.2015.7301533","relation":{},"subject":[],"published":{"date-parts":[[2015,9]]}}}