{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T08:14:31Z","timestamp":1725437671558},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,8]]},"DOI":"10.1109\/ret.2014.6908679","type":"proceedings-article","created":{"date-parts":[[2014,9,30]],"date-time":"2014-09-30T10:51:35Z","timestamp":1412074295000},"page":"47-54","source":"Crossref","is-referenced-by-count":3,"title":["The observer-based technique for requirements validation in embedded real-time systems"],"prefix":"10.1109","author":[{"given":"Jiale","family":"Zhou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yue","family":"Lu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kristina","family":"Lundqvist","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"17","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2008.08.004"},{"key":"15","first-page":"260","article-title":"Monitoring of real-time properties","author":"bauer","year":"2006","journal-title":"Proc FSTTCS'06"},{"key":"16","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1007\/978-3-642-04694-0_4","article-title":"Runtime verification of safety-progress properties","author":"falcone","year":"2009","journal-title":"Runtime Verification"},{"key":"13","first-page":"44","article-title":"Rule-based runtime verification","author":"barringer","year":"2004","journal-title":"Proc of VMCAI '04"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40787-1_3"},{"key":"11","article-title":"EAST-ADL - An architecture description language for automotive software-intensive systems","author":"blom","year":"2012","journal-title":"The EAST-ADL 2 Consortium Tech Rep"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2001.989841"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2004.1459815"},{"journal-title":"Safeware System Safety and Computers","year":"1995","author":"leveson","key":"2"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-3003-1_1"},{"key":"10","article-title":"Feature-oriented domain analysis (foda) feasibility study","author":"kang","year":"1990","journal-title":"CMU\/SEI- 90-TR-21 ESD-90-TR-222 Tech Rep"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18216-7"},{"journal-title":"Mastering Regular Expressions","year":"2002","author":"friedl","key":"6"},{"journal-title":"A Formal Framework for Specification-based Embedded Realtime System Engineering","year":"2008","author":"ouimet","key":"5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08311-7_5"},{"key":"9","first-page":"499","article-title":"Testing extended regular language membership incrementally by rewriting","author":"ro?u","year":"2003","journal-title":"Proceedings of RTA03"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/242223.242257"}],"event":{"name":"2014 IEEE 1st International Workshop on Requirements Engineering and Testing (RET)","start":{"date-parts":[[2014,8,26]]},"location":"Karlskrona","end":{"date-parts":[[2014,8,26]]}},"container-title":["2014 IEEE 1st International Workshop on Requirements Engineering and Testing (RET)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6887462\/6908666\/06908679.pdf?arnumber=6908679","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,3]],"date-time":"2020-02-03T14:08:57Z","timestamp":1580738937000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6908679\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,8]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/ret.2014.6908679","relation":{},"subject":[],"published":{"date-parts":[[2014,8]]}}}