{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T02:04:37Z","timestamp":1729649077865,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,3]]},"DOI":"10.1109\/ssd.2012.6197943","type":"proceedings-article","created":{"date-parts":[[2012,5,24]],"date-time":"2012-05-24T18:29:46Z","timestamp":1337884186000},"page":"1-5","source":"Crossref","is-referenced-by-count":8,"title":["Modeling of Networked Automation Systems for simulation and model checking of time behavior"],"prefix":"10.1109","author":[{"given":"Birgit","family":"Vogel-Heuser","sequence":"first","affiliation":[]},{"given":"Jens","family":"Folmer","sequence":"additional","affiliation":[]},{"given":"Georg","family":"Frey","sequence":"additional","affiliation":[]},{"given":"Liu","family":"Liu","sequence":"additional","affiliation":[]},{"given":"Holger","family":"Hermanns","sequence":"additional","affiliation":[]},{"given":"Arnd","family":"Hartmanns","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","first-page":"258","article-title":"Algorithmic Verification of Hybrid Systems Past HyTech","author":"frehse","year":"2005","journal-title":"HSCC 2005"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2009.41"},{"key":"17","first-page":"209","article-title":"Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure","volume":"1","author":"fra?nzle","year":"2007","journal-title":"JSAT"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050008"},{"key":"15","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1007\/978-3-642-22110-1_30","article-title":"SpaceEx: Scalable Verification of Hybrid Systems","volume":"6806","author":"frehse","year":"2011","journal-title":"Lecture Notes in Computer Science (LNCS)"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/1210268.1210276"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/EFTA.2007.4416900"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/EFTA.2007.4416899"},{"key":"11","first-page":"27","article-title":"Evaluation of Real-Time Capabilities of Ethernet-based Automation Systems using Formal Verification and Simulation","author":"marsal","year":"2005","journal-title":"Proc 1e?re Rencontres des Jeunes Chercheurs en Informatique Temps Re?el 2005 RJCITR'05 Nancy France"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2008.4638534"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967710"},{"key":"3","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1007\/3-540-61648-9_58","article-title":"AutoFocus - A tool for distributed systems specification","volume":"1135","author":"huber","year":"1996","journal-title":"Lecture Notes in Computer Science (LNCS)"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2005.1612644"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2005.1470424"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/EFTA.2007.4416815"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2006.355200"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2011.6119656"},{"journal-title":"Compact-Workstation [Online]","year":"2011","key":"6"},{"journal-title":"Spezifikation und Anwendung Einer Modellierungssprache fu?r Die Automatisierungstechnik Auf Basis der Unified Modeling Language","year":"2008","author":"katzke","key":"5"},{"key":"4","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1007\/978-3-642-02674-4_8","article-title":"Challenges in Combining SysML and MARTE for Model- Based Design of Embedded Systems","volume":"5562","author":"espinoza","year":"2009","journal-title":"Lecture Notes in Computer Science (LNCS)"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1016\/B978-008044654-7\/50151-5"},{"journal-title":"Industrial Communication Networks - Profiles - Additional Fieldbus Profiles for Real-time Networks Based in ISO\/IEC 8802-3","year":"2007","key":"8"}],"event":{"name":"2012 IEEE 9th International Multi-Conference on Systems, Signals and Devices (SSD)","start":{"date-parts":[[2012,3,20]]},"location":"Chemnitz, Germany","end":{"date-parts":[[2012,3,23]]}},"container-title":["International Multi-Conference on Systems, Sygnals & Devices"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6192379\/6197898\/06197943.pdf?arnumber=6197943","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T15:14:41Z","timestamp":1497971681000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6197943\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,3]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/ssd.2012.6197943","relation":{},"subject":[],"published":{"date-parts":[[2012,3]]}}}