{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T06:17:15Z","timestamp":1761977835508,"version":"build-2065373602"},"reference-count":9,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,7]]},"DOI":"10.1109\/re.2013.6636740","type":"proceedings-article","created":{"date-parts":[[2013,10,29]],"date-time":"2013-10-29T23:25:31Z","timestamp":1383089131000},"page":"330-331","source":"Crossref","is-referenced-by-count":10,"title":["MIRA: A tooling-framework to experiment with model-based requirements engineering"],"prefix":"10.1109","author":[{"given":"Sabine","family":"Teufl","sequence":"first","affiliation":[]},{"given":"Dongyue","family":"Mou","sequence":"additional","affiliation":[]},{"given":"Daniel","family":"Ratiu","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"volume":"7","journal-title":"Last Accessed May","year":"2013","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/336512.336523"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/FOSE.2007.17"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.80.2"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/TwinPeaks.2012.6344557"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ICRE.2000.855609"},{"key":"4","article-title":"Requirements engineering reference model (rem","author":"geisberger","year":"2006","journal-title":"TU Mu?nchen Technical Report TUM-I0618"},{"volume":"26","journal-title":"Pacemaker Formal Methods Challenge","year":"2012","key":"9"},{"key":"8","article-title":"Model-based development of a pacemaker","author":"gareis","year":"2012","journal-title":"Master's thesis"}],"event":{"name":"2013 IEEE 21st International Requirements Engineering Conference (RE)","start":{"date-parts":[[2013,7,15]]},"location":"Rio de Janeiro-RJ, Brazil","end":{"date-parts":[[2013,7,19]]}},"container-title":["2013 21st IEEE International Requirements Engineering Conference (RE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6621629\/6636689\/06636740.pdf?arnumber=6636740","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T02:29:55Z","timestamp":1490236195000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6636740\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,7]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/re.2013.6636740","relation":{},"subject":[],"published":{"date-parts":[[2013,7]]}}}