{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,3]],"date-time":"2024-09-03T20:07:53Z","timestamp":1725394073161},"reference-count":9,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,12]]},"DOI":"10.1109\/simpar.2016.7862411","type":"proceedings-article","created":{"date-parts":[[2017,2,23]],"date-time":"2017-02-23T19:36:36Z","timestamp":1487878596000},"page":"302-309","source":"Crossref","is-referenced-by-count":1,"title":["A formal specification of the RT-Middleware data transfer protocol"],"prefix":"10.1109","author":[{"given":"Geoffrey","family":"Biggs","sequence":"first","affiliation":[]},{"given":"Noriaki","family":"Ando","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"year":"2016","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89076-8_12"},{"journal-title":"Specifying Systems The TLA + Language and Tools for Hardware and Software Engineers","year":"2002","author":"lamport","key":"ref6"},{"journal-title":"Rev","year":"2015","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2699417"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-43652-3_3"},{"journal-title":"IEC International Standard 61508 Rev","year":"2010","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21461-5_16"},{"year":"2016","key":"ref1"}],"event":{"name":"2016 IEEE International Conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR)","start":{"date-parts":[[2016,12,13]]},"location":"San Francisco, CA, USA","end":{"date-parts":[[2016,12,16]]}},"container-title":["2016 IEEE International Conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7858577\/7862346\/07862411.pdf?arnumber=7862411","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,12,13]],"date-time":"2017-12-13T15:59:11Z","timestamp":1513180751000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7862411\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/simpar.2016.7862411","relation":{},"subject":[],"published":{"date-parts":[[2016,12]]}}}