{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T18:18:10Z","timestamp":1729621090672,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1109\/sefm.2003.1236214","type":"proceedings-article","created":{"date-parts":[[2004,1,23]],"date-time":"2004-01-23T23:33:03Z","timestamp":1074900783000},"page":"126-135","source":"Crossref","is-referenced-by-count":5,"title":["Component-based design and analysis: a case study"],"prefix":"10.1109","author":[{"given":"Y.","family":"Jin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Lakos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Esser","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"440","article-title":"You assume, we guarantee: Methodology and case studies","volume":"1427","author":"henzinger","year":"1998","journal-title":"Computer Aided Verification in LNCS"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2000.896481"},{"key":"ref12","article-title":"Higher-order Petri net modeling-techniques and applications","author":"janneck","year":"2002","journal-title":"Workshop on Software Engineering and Formal Methods ICATPN"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"320","DOI":"10.1007\/3-540-46037-3_30","article-title":"Describing the syntax and semantics of UML Statecharts in a heterogeneous modelling environment","volume":"2317","author":"jin","year":"2002","journal-title":"Proceedings of the Diagrammatic Representation and Inference LNAI"},{"key":"ref14","first-page":"291","article-title":"Lightweight consistency analysis of dataflow process networks","author":"jin","year":"2003","journal-title":"Proceedings of the Australasian Computer Science Conference"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36578-8_14"},{"key":"ref16","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-58867-1","volume":"891","author":"lewerentz","year":"1995","journal-title":"Formal Development of Reactive Systems&#x2014 Case Study Production Cell"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/HICSS.2000.926969"},{"journal-title":"Distributed Algorithms","year":"1996","author":"lynch","key":"ref18"},{"key":"ref19","first-page":"434","article-title":"Maria: Modular reachability analyser for algebraic system nets","volume":"2360","author":"m\u00e4kel\u00e4","year":"2002","journal-title":"Proc LNCS Appl Theory Petri Nets"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1007\/10722167_15","article-title":"Counterexample-guided abstraction refinement","volume":"1855","author":"clarke","year":"2000","journal-title":"Computer Aided Verification in LNCS"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04558-9"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/HCC.2001.995274"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/503209.503226"},{"key":"ref8","article-title":"Petri net based qualitative analysis - A case study","author":"heiner","year":"1995","journal-title":"Technical Report I–08 Brandenburg Technical University"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/BF01211911"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008739929481"},{"journal-title":"Moses tool suite","year":"0","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/s001700050051"},{"key":"ref20","first-page":"110","article-title":"Verification of an implementation of Tomasulo's algorithm by compositional model checking","volume":"1427","author":"mcmillan","year":"1998","journal-title":"Computer Aided Verification in LNCS"}],"event":{"name":"1st IEEE International Conference Software Engineering and Formal Methods. SEFM'03","start":{"date-parts":[[2003,9,22]]},"location":"Brisbane, Queensland, Australia","end":{"date-parts":[[2003,9,27]]}},"container-title":["First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8747\/27706\/01236214.pdf?arnumber=1236214","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,15]],"date-time":"2017-06-15T23:18:36Z","timestamp":1497568716000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1236214\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/sefm.2003.1236214","relation":{},"subject":[],"published":{"date-parts":[[2003]]}}}