{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T01:42:28Z","timestamp":1729647748323,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,7]]},"DOI":"10.1109\/indin.2015.7281944","type":"proceedings-article","created":{"date-parts":[[2015,10,1]],"date-time":"2015-10-01T21:59:09Z","timestamp":1443736749000},"page":"1438-1445","source":"Crossref","is-referenced-by-count":0,"title":["Well-formed control flow for critical sections in RTFM-core"],"prefix":"10.1109","author":[{"given":"Per","family":"Lindgren","sequence":"first","affiliation":[]},{"given":"Marcus","family":"Lindner","sequence":"additional","affiliation":[]},{"given":"Andreas","family":"Lindner","sequence":"additional","affiliation":[]},{"given":"David","family":"Pereira","sequence":"additional","affiliation":[]},{"given":"Luis Miguel","family":"Pinho","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"RIOT","year":"0","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/LCN.2004.38"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"821","DOI":"10.1002\/j.1097-024X.1986.tb00013.x","article-title":"Concurrent C","volume":"16","author":"gehani","year":"1986","journal-title":"Softw Pract Exper"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380220305"},{"journal-title":"RTFM Real-Time For the Masses","year":"0","key":"ref14"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1990.128747"},{"key":"ref3","article-title":"RTFM-core: Course in Compiler Construction","author":"lindgren","year":"2014","journal-title":"ESWEEK\/WESE 2014"},{"key":"ref6","doi-asserted-by":"crossref","DOI":"10.1109\/ICIEA.2015.7334252","article-title":"RTFM-core: Language and Implementation","author":"lindgren","year":"2015","journal-title":"Accepted to 10th IEEE Conference on Industrial Electronics and Applications (ICIEA 2015)"},{"key":"ref5","article-title":"RTFM-core: Language and Implementation","author":"lindgren","year":"2014","journal-title":"ESWEEK\/CPSArch 2014"},{"journal-title":"ChibiOS\/RT","year":"0","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2013.6601482"},{"key":"ref2","article-title":"RTFM -lang Static Semantics for Systems with Mixed Criticality","author":"lindgren","year":"2014","journal-title":"Ada-Europe 2014 19th International Conference on Reliable Software Technologies"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.180"},{"journal-title":"FreeRTOS","year":"0","key":"ref9"}],"event":{"name":"2015 IEEE 13th International Conference on Industrial Informatics (INDIN)","start":{"date-parts":[[2015,7,22]]},"location":"Cambridge, United Kingdom","end":{"date-parts":[[2015,7,24]]}},"container-title":["2015 IEEE 13th International Conference on Industrial Informatics (INDIN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7270516\/7281697\/07281944.pdf?arnumber=7281944","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,22]],"date-time":"2022-05-22T15:04:40Z","timestamp":1653231880000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7281944\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/indin.2015.7281944","relation":{},"subject":[],"published":{"date-parts":[[2015,7]]}}}