{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,6]],"date-time":"2026-10-06T04:26:16Z","timestamp":1791260776485,"version":"4.1.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1109\/icse.2003.1201197","type":"proceedings-article","created":{"date-parts":[[2004,6,22]],"date-time":"2004-06-22T16:27:43Z","timestamp":1087921663000},"page":"160-172","source":"Crossref","is-referenced-by-count":80,"title":["Cadena: an integrated development, analysis, and verification environment for component-based systems"],"prefix":"10.1109","author":[{"given":"J.","family":"Hatcliff","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"family":"Xinghua Deng","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"M.B.","family":"Dwyer","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"G.","family":"Jung","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"V.P.","family":"Ranganath","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.1999.802301"},{"key":"22","article-title":"Event correlation: A formal approach","author":"sipma","year":"2002"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/s001659970003"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/ISRE.2001.948539"},{"key":"18","article-title":"Overview of the ptolemy project","author":"lee","year":"2001"},{"key":"24","author":"vestal","year":"1998","journal-title":"MetaH User's Manual"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1992.753516"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-2796-1"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050043"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/IWSSD.2000.891123"},{"key":"12","article-title":"The openCCM platform","year":"2002"},{"key":"21","article-title":"Object oriented avionics software flow policies","author":"sharp","year":"0","journal-title":"Proceedings of the 18th AIAA\/IEEE Digital Avionics Systems Conference Oct 1999"},{"key":"3","author":"clarke","year":"2000","journal-title":"Model checking"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.1998.739846"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050046"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/258077.258078"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302672"},{"key":"7","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-48234-2_20","article-title":"Dspin: A dynamic extension of SPIN","author":"demartini","year":"1999","journal-title":"Theoretical and Applied Aspects of SPIN Model Checking (LNCS 1680)"},{"key":"6","article-title":"Geodesic - A reusable component framework for embedded real-time systems","author":"de niz","year":"2002"},{"key":"5","article-title":"A language framework for expressing checkable properties of dynamic software","author":"corbett","year":"0","journal-title":"Proceedings of the SPIN Software Model Checking Workshop Volume 1885 of Lecture Notes in Computer Science Aug 2000"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2000.870434"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4339-8_17"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/581339.581394"}],"event":{"name":"25th International Conference on Software Engineering, 2003. Proceedings.","location":"Portland, OR, USA","start":{"date-parts":[[2003,5,10]]},"end":{"date-parts":[[2003,5,10]]}},"container-title":["25th International Conference on Software Engineering, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8548\/27042\/01201197.pdf?arnumber=1201197","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T04:15:30Z","timestamp":1497586530000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1201197\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/icse.2003.1201197","relation":{},"subject":[],"published":{"date-parts":[[2003]]}}}