{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T17:47:56Z","timestamp":1729619276341,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,4]]},"DOI":"10.1109\/sas.2015.7133617","type":"proceedings-article","created":{"date-parts":[[2015,6,26]],"date-time":"2015-06-26T18:00:22Z","timestamp":1435341622000},"page":"1-6","source":"Crossref","is-referenced-by-count":5,"title":["Building distributed sensor network applications using BIP"],"prefix":"10.1109","author":[{"given":"Alexios","family":"Lekidis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paraskevas","family":"Bourgos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simplice","family":"Djoko-Djoko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marius","family":"Bozga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Saddek","family":"Bensalem","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/SAHCN.2008.68"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/EUC.2011.50"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"551","DOI":"10.1007\/978-3-642-01112-2_55","article-title":"Extensible and precise modeling for wireless sensor networks","author":"akbal-delibas","year":"2009","journal-title":"Information Systems Modeling Development and Integration"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1142680.1142684"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1450058.1450069"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2011.07.018"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1007\/978-3-642-34026-0_25","article-title":"Statistical Model Checking QoS properties of Systems with SBIP","author":"bensalem","year":"2012","journal-title":"Leveraging Applications of Formal Methods Verification and Validation Technologies for Mastering Change"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2014.6961864"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/MWC.2008.4599225"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/NCA.2007.52"},{"key":"ref4","article-title":"Design Flow for the Rapid Development of Distributed Sensor Network Applications","author":"lekidis","year":"2014","journal-title":"Verimag Research Report Tech Rep TR-2014-13"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/990680.990705"},{"key":"ref6","article-title":"IEEE 1588-Standard for a Precision Clock Synchronization Protocol for Networked Measurement and Control Systems","volume":"1588","author":"lee","year":"2005","journal-title":"Conference on IEEE"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.adhoc.2005.01.002"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1409944.1409963"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ISPCS.2011.6070152"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/SURV.2008.080404"},{"key":"ref1","first-page":"41","article-title":"Rigorous component-based design using the BIP frame-work","volume":"28","author":"basu","year":"2011","journal-title":"IEEE Software Special Edition from Routines to Services"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2007.53"}],"event":{"name":"2015 IEEE Sensors Applications Symposium (SAS)","start":{"date-parts":[[2015,4,13]]},"location":"Zadar, Croatia","end":{"date-parts":[[2015,4,15]]}},"container-title":["2015 IEEE Sensors Applications Symposium (SAS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7122653\/7133559\/07133617.pdf?arnumber=7133617","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T10:37:14Z","timestamp":1498214234000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7133617\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/sas.2015.7133617","relation":{},"subject":[],"published":{"date-parts":[[2015,4]]}}}