{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T16:01:37Z","timestamp":1761580897367},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,5]]},"DOI":"10.1109\/rsp.2011.5929985","type":"proceedings-article","created":{"date-parts":[[2011,6,28]],"date-time":"2011-06-28T16:51:29Z","timestamp":1309279889000},"page":"121-127","source":"Crossref","is-referenced-by-count":5,"title":["Rapid property specification and checking for model-based formalisms"],"prefix":"10.1109","author":[{"given":"Daniel","family":"Balasubramanian","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabor","family":"Pap","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Harmon","family":"Nine","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabor","family":"Karsai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Lowry","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Corina","family":"Pasareanu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom","family":"Pressburger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45236-2_4"},{"year":"0","key":"ref12","article-title":"Mathworks Inc. Simulink Design Verifier"},{"year":"0","key":"ref13","article-title":"Reactive Systems, Inc"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1450058.1450071"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/2.204684"},{"key":"ref16","first-page":"525","article-title":"A staged static program analysis to improve the performance of runtime monitoring","author":"bodden","year":"2007","journal-title":"ECOOP"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/RSP.2009.32"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24732-6_6"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302672"},{"key":"ref5","first-page":"1","article-title":"The birth of model checking","author":"clarke","year":"2008","journal-title":"25 Years of Model Checking"},{"journal-title":"Object-Oriented Software Construction","year":"1988","author":"meyer","key":"ref8"},{"journal-title":"Modeling and Verification Using UML Statecharts — A Working Guide to Reactive System Design Runtime Monitoring and Execution-Based Model Checking","year":"2006","author":"drusinsky","key":"ref7"},{"journal-title":"Version 7 10 0 (R2010a)","year":"2010","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/2.963443"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022920129859"}],"event":{"name":"2011 22nd IEEE International Symposium on Rapid System Prototyping (RSP)","start":{"date-parts":[[2011,5,24]]},"location":"Karlsruhe, Germany","end":{"date-parts":[[2011,5,27]]}},"container-title":["2011 22nd IEEE International Symposium on Rapid System Prototyping"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5888815\/5929963\/05929985.pdf?arnumber=5929985","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T06:08:13Z","timestamp":1490076493000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5929985\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,5]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/rsp.2011.5929985","relation":{},"subject":[],"published":{"date-parts":[[2011,5]]}}}