{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T16:02:36Z","timestamp":1762272156931,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,6]]},"DOI":"10.1109\/sies.2017.7993389","type":"proceedings-article","created":{"date-parts":[[2017,7,31]],"date-time":"2017-07-31T20:38:21Z","timestamp":1501533501000},"page":"1-9","source":"Crossref","is-referenced-by-count":10,"title":["Generation of simulink monitors for control applications from formal requirements"],"prefix":"10.1109","author":[{"given":"Alessio","family":"Balsini","sequence":"first","affiliation":[]},{"given":"Marco","family":"Di Natale","sequence":"additional","affiliation":[]},{"given":"Marco","family":"Celia","sequence":"additional","affiliation":[]},{"given":"Vassilios","family":"Tsachouridis","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"Efficient robust monitoring of stl formula","author":"ferrere","year":"2013","journal-title":"Proceedings of the CAV 13 Conference"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10512-3_16"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/506147.506151"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49674-9_47"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.4271\/2016-01-0621"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27779-8_42"},{"key":"ref16","first-page":"53","article-title":"An automatic tool for the analysis of natural language requirements","volume":"20","author":"gnesi","year":"2005","journal-title":"J CSS"},{"journal-title":"Parsing of natural language requirements","year":"2013","author":"obispo","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1162\/0891201053630291"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2013.6601484"},{"key":"ref4","first-page":"52","article-title":"Design and synthesis of synchronisation skeletons using branching time temporal logic","volume":"131","author":"emerson","year":"1981","journal-title":"Proceedings of Workshop on Logic of Programs Lecture Notes in Computer Science"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/BF01995674"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78127-1_26"},{"article-title":"A practical introduction to psl","year":"2006","author":"eisner","key":"ref7"},{"journal-title":"Prover","year":"2017","key":"ref2"},{"key":"ref1","article-title":"Simulink user manual","author":"mathworks","year":"2017","journal-title":"Products Web Page"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21690-4_37"},{"article-title":"Repository","year":"0","author":"balsini","key":"ref20"},{"key":"ref21","article-title":"Flex and bison","author":"levine","year":"2009","journal-title":"O'Reilly Media"}],"event":{"name":"2017 12th IEEE International Symposium on Industrial Embedded Systems (SIES)","start":{"date-parts":[[2017,6,14]]},"location":"Toulouse","end":{"date-parts":[[2017,6,16]]}},"container-title":["2017 12th IEEE International Symposium on Industrial Embedded Systems (SIES)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7992954\/7993372\/07993389.pdf?arnumber=7993389","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,17]],"date-time":"2020-04-17T04:57:24Z","timestamp":1587099444000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7993389\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/sies.2017.7993389","relation":{},"subject":[],"published":{"date-parts":[[2017,6]]}}}