{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:12:51Z","timestamp":1761487971044,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,9]]},"DOI":"10.1109\/efta.2007.4416899","type":"proceedings-article","created":{"date-parts":[[2008,1,4]],"date-time":"2008-01-04T20:59:03Z","timestamp":1199480343000},"page":"1053-1060","source":"Crossref","is-referenced-by-count":6,"title":["DesLaNAS - a language for describing Networked Automation Systems"],"prefix":"10.1109","author":[{"given":"Jurgen","family":"Greifeneder","sequence":"first","affiliation":[]},{"given":"Georg","family":"Frey","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-54233-7_128"},{"key":"ref11","article-title":"Modelling and Verification of Probabilistic Systems","volume":"23","author":"kwiatkowska","year":"2004","journal-title":"Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems CRM Monograph Series"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1201\/9781420008548.ch4"},{"key":"ref13","first-page":"200","article-title":"PRISM: Probabilistic symbolic model checker","volume":"2324","author":"kwiatkowska","year":"2002","journal-title":"Proc TOOLS'02 LNCS"},{"key":"ref14","first-page":"138","article-title":"On the Impressive Power of Stopwatches","volume":"1877","author":"cassez","year":"2000","journal-title":"Proc CONCUR'00 C Palamidessi (Editor) LNCS"},{"key":"ref15","doi-asserted-by":"crossref","DOI":"10.1109\/EFTA.2007.4416815","article-title":"Measuring the Impact of Vertical Integration on Response Times in Ethernet Fieldbusses","author":"denis","year":"2007","journal-title":"Proc IEEE Conf on Emerging Technologies and Factory Automation"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/WFCS.2004.1377680"},{"key":"ref3","first-page":"1248","article-title":"Metrics, Methodologies, and Tools for Analyzing Network Fault Recovery Performance in Real-Time Distributed Systems","author":"irey","year":"2004","journal-title":"IPDPS workshop"},{"key":"ref6","article-title":"Control and Embedded Computing: Survey of Research Directions","author":"\u00e5rz\u00e9n","year":"2005","journal-title":"Proc 16th IFAC World Congress"},{"article-title":"Network Calculus","year":"2001","author":"le boudec","key":"ref5"},{"article-title":"Systems and software verification, model-checking techniques and tools","year":"2001","author":"b\u00e9rard","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/584369.584377"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2006.1657491"},{"key":"ref1","first-page":"143","article-title":"Probabilistic Timed Automata for Modeling Networked Automation Systems","author":"greifeneder","year":"2007","journal-title":"Proc 1st IFAC Workshop on Dependable Control of Discrete Systems (DCDS)"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/BF01211866"}],"event":{"name":"2007 IEEE Conference on Emerging Technologies & Factory Automation (EFTA 2007)","start":{"date-parts":[[2007,9,25]]},"location":"Patras, Greece","end":{"date-parts":[[2007,9,28]]}},"container-title":["2007 IEEE Conference on Emerging Technologies & Factory Automation (EFTA 2007)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4416742\/4416743\/04416899.pdf?arnumber=4416899","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,30]],"date-time":"2020-04-30T10:29:25Z","timestamp":1588242565000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4416899\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,9]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/efta.2007.4416899","relation":{},"subject":[],"published":{"date-parts":[[2007,9]]}}}