{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T06:49:48Z","timestamp":1760597388699,"version":"3.28.0"},"reference-count":33,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,7]]},"DOI":"10.1109\/memcod.2009.5185388","type":"proceedings-article","created":{"date-parts":[[2009,8,11]],"date-time":"2009-08-11T15:09:22Z","timestamp":1250003362000},"page":"121-130","source":"Crossref","is-referenced-by-count":7,"title":["Codesign of dependable systems: A component-based modeling language"],"prefix":"10.1109","author":[{"given":"Marco","family":"Bozzano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Cimatti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Roveri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joost-Pieter","family":"Katoen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Viet Yen","family":"Nguyen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Noll","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"19","DOI":"10.1109\/TSE.2003.1205180"},{"key":"17","first-page":"821","article-title":"formal analysis of hardware requirements","author":"pill","year":"2006","journal-title":"Design Automation"},{"key":"18","article-title":"the compass approach: correctness, modelling and performability of aerospace systems","author":"bozzano","year":"2009","journal-title":"28th Int Conf on Computer Safety Reliability and Security (SAFECOMP)"},{"doi-asserted-by":"publisher","key":"33","DOI":"10.1109\/DSN.2008.4630122"},{"doi-asserted-by":"publisher","key":"15","DOI":"10.1007\/s100090050046"},{"doi-asserted-by":"publisher","key":"16","DOI":"10.1109\/QEST.2005.2"},{"key":"13","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45804-2","volume":"2428","author":"hermanns","year":"2002","journal-title":"Interactive Markov Chains The Quest for Quantified Quality"},{"key":"14","first-page":"250","article-title":"probabilistic simulations for probabilistic processes","volume":"2","author":"segala","year":"1995","journal-title":"Nordic Journal of Computing"},{"year":"0","journal-title":"The COMPASS Project Web Site","key":"11"},{"doi-asserted-by":"publisher","key":"12","DOI":"10.1109\/LICS.1996.561342"},{"doi-asserted-by":"publisher","key":"21","DOI":"10.1145\/1368088.1368094"},{"doi-asserted-by":"publisher","key":"20","DOI":"10.1145\/302405.302672"},{"doi-asserted-by":"publisher","key":"22","DOI":"10.1109\/DSN.2007.37"},{"key":"23","first-page":"363","article-title":"formal verification of diagnosability via symbolic model checking","author":"cimatti","year":"2003","journal-title":"International Joint Conference on Artificial Intelligence (IJCAI 2003)"},{"year":"0","journal-title":"The Unified Modeling Language","key":"24"},{"key":"25","first-page":"295","article-title":"an approach to modelling and verification of component based systems","volume":"4362","author":"go?\ufffdler","year":"2007","journal-title":"33rd Conf on Current Trends In Theory and Practice of Computer Science (SOFSEM)"},{"doi-asserted-by":"publisher","key":"26","DOI":"10.1016\/j.entcs.2004.04.028"},{"key":"27","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1007\/3-540-45351-2_33","article-title":"hybrid i\/o automata revisited","volume":"2034","author":"lynch","year":"2001","journal-title":"4th Int Workshop on Hybrid Systems Computation and Control (HSCC 2001)"},{"key":"28","first-page":"39","article-title":"translating aadl into bip - application to the verification of real-time systems","author":"chkouri","year":"2008","journal-title":"Proc 1st Int Workshop on Model Based Architecting and Construction of Embedded Systems"},{"key":"29","first-page":"167","article-title":"compositional performability evaluation for statemate","author":"bo?de","year":"2006","journal-title":"Quantitative Evaluation of Systems (QEST)"},{"doi-asserted-by":"publisher","key":"3","DOI":"10.1017\/S0960129504004153"},{"doi-asserted-by":"publisher","key":"2","DOI":"10.1145\/503209.503226"},{"doi-asserted-by":"publisher","key":"10","DOI":"10.1109\/MEMCOD.2004.1459815"},{"doi-asserted-by":"publisher","key":"1","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"30","first-page":"1718","article-title":"probabilistic models for reo connector circuits","volume":"11","author":"baier","year":"2005","journal-title":"J Universal Comp Sc"},{"year":"2008","journal-title":"International Society of Automotive Engineers SAE Draft Standard AS5506 V2","article-title":"architecture analysis and design language (aadl) v2","key":"7"},{"year":"2004","journal-title":"International Society of Automotive Engineers SAE Standard AS5506","article-title":"architecture analysis and design language (aadl)","key":"6"},{"doi-asserted-by":"publisher","key":"32","DOI":"10.1109\/MEMCOD.2007.371231"},{"doi-asserted-by":"publisher","key":"5","DOI":"10.1109\/CSD.2003.1207706"},{"doi-asserted-by":"publisher","key":"31","DOI":"10.1109\/QEST.2007.18"},{"doi-asserted-by":"publisher","key":"4","DOI":"10.1016\/j.scico.2004.05.014"},{"key":"9","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/s10009-006-0001-2","article-title":"the fsap\/nusmv-sa safety analysis platform","volume":"9","author":"bozzano","year":"2007","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"year":"2006","journal-title":"International Society of Automotive Engineers SAE Standard AS5506\/1","article-title":"architecture analysis and design language annex (aadl), volume 1, annex e: error model annex","key":"8"}],"event":{"name":"2009 7th IEEE\/ACM International Conference on Formal Methods and Models for Co-Design (MEMOCODE)","start":{"date-parts":[[2009,7,13]]},"location":"Cambridge, MA, USA","end":{"date-parts":[[2009,7,15]]}},"container-title":["2009 7th IEEE\/ACM International Conference on Formal Methods and Models for Co-Design"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5173407\/5185370\/05185388.pdf?arnumber=5185388","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T18:43:27Z","timestamp":1497811407000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5185388\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,7]]},"references-count":33,"URL":"https:\/\/doi.org\/10.1109\/memcod.2009.5185388","relation":{},"subject":[],"published":{"date-parts":[[2009,7]]}}}