{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T04:12:21Z","timestamp":1730261541416,"version":"3.28.0"},"reference-count":7,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.1109\/idaacs.2015.7340731","type":"proceedings-article","created":{"date-parts":[[2015,12,3]],"date-time":"2015-12-03T16:11:59Z","timestamp":1449159119000},"page":"214-219","source":"Crossref","is-referenced-by-count":0,"title":["Programming autonomous behavior of AMM network data concentrator by timed automata"],"prefix":"10.1109","author":[{"given":"Lukas","family":"Krejci","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","first-page":"200","article-title":"A Tutorial on Uppaal","volume":"3185","author":"behrmann","year":"2004","journal-title":"Proceedings of the 4th International School on Formal Methods for the Design of Computer Communication and Software Systems (SFM-RT'04) Lecture Notes in Computer Science"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"year":"0","key":"ref6","article-title":"Asynchronous Programming with Async and Await (C# and Visual Basic)"},{"year":"0","key":"ref5","article-title":"Task Parallel Library"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/272991.272995"},{"journal-title":"ZIV Metering Solutions","year":"0","key":"ref2"},{"article-title":"Smart Metering","year":"0","author":"ormazabal","key":"ref1"}],"event":{"name":"2015 IEEE 8th International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS)","start":{"date-parts":[[2015,9,24]]},"location":"Warsaw, Poland","end":{"date-parts":[[2015,9,26]]}},"container-title":["2015 IEEE 8th International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7324044\/7340677\/07340731.pdf?arnumber=7340731","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,24]],"date-time":"2017-03-24T22:50:33Z","timestamp":1490395833000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7340731\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9]]},"references-count":7,"URL":"https:\/\/doi.org\/10.1109\/idaacs.2015.7340731","relation":{},"subject":[],"published":{"date-parts":[[2015,9]]}}}