{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T21:11:36Z","timestamp":1729631496103,"version":"3.28.0"},"reference-count":29,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,9]]},"DOI":"10.1109\/etfa.2009.5347021","type":"proceedings-article","created":{"date-parts":[[2009,12,10]],"date-time":"2009-12-10T19:44:11Z","timestamp":1260474251000},"page":"1-8","source":"Crossref","is-referenced-by-count":5,"title":["Integrated behavior models for factory automation systems"],"prefix":"10.1109","author":[{"given":"Jewgenij","family":"Botaschanjan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benjamin","family":"Hummel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Hensel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Lindworsky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Inbetriebnahme komplexer Maschinen und Anlagen","year":"1990","author":"eversheim","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1994.411281"},{"key":"ref12","first-page":"167","article-title":"Combining spatial and temporal logics: Expressiveness vs. complexity","volume":"23","author":"gabelaia","year":"2005","journal-title":"J AI Research"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59615-5_13"},{"key":"ref14","article-title":"Library concepts for model reuse","author":"herrmannsdoerfer","year":"2009","journal-title":"Proc of LDTA’09"},{"key":"ref15","article-title":"A semantic model for computer-based spatiotemporal systems","author":"hummel","year":"2009","journal-title":"Proc of ECBS’09"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/1370731.1370744"},{"journal-title":"Mechatronic Systems Fundamentals","year":"2005","author":"isermann","key":"ref17"},{"key":"ref18","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-031-01794-0","author":"kaynar","year":"2006","journal-title":"The Theory of Timed I\/O Automata"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/635499.635504"},{"key":"ref28","first-page":"3","article-title":"Symbiosis of changeable and virtual production - the emperor's new clothes of key factor for future success?","author":"zaeh","year":"2005","journal-title":"Proc of CARV’05"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00087-6"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(91)90122-X"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"71","DOI":"10.3139\/104.110018","article-title":"Inter-disziplinare Funktionsmodellierung im Anlagenbau","volume":"1 2","author":"botaschanjan","year":"2009","journal-title":"Zeitschrift für Wirtschaftlichen Fabrikbetrieb"},{"key":"ref6","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-0091-5","author":"broy","year":"2001","journal-title":"Specification and Development of Interactive Systems FOCUS on Streams Interfaces and Refinement"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/EFTA.2007.4416897"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s004500050132"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(03)00073-6"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/EFTA.2007.4416795"},{"key":"ref2","article-title":"Specifying the worst case - orthogonal modelling of hardware errors","author":"botaschanjan","year":"2009","journal-title":"Proc of IS-STA’09"},{"key":"ref9","article-title":"PLC-automata: A new class of implementable real-time automata","author":"dierks","year":"1997","journal-title":"Procs of ARTS ’97"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1583514"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2008.4638377"},{"key":"ref22","article-title":"Model-based development of embedded systems","author":"sch\u00e4tz","year":"2002","journal-title":"OOIS Work-shops"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2008.4638434"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2005.844427"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2008.4638526"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-1561-6"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2008.4638462"}],"event":{"name":"Factory Automation (ETFA 2009)","start":{"date-parts":[[2009,9,22]]},"location":"Palma de Mallorca, Spain","end":{"date-parts":[[2009,9,25]]}},"container-title":["2009 IEEE Conference on Emerging Technologies & Factory Automation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5340902\/5346987\/05347021.pdf?arnumber=5347021","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,27]],"date-time":"2023-05-27T21:26:53Z","timestamp":1685222813000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5347021\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,9]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/etfa.2009.5347021","relation":{},"subject":[],"published":{"date-parts":[[2009,9]]}}}