{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T17:38:33Z","timestamp":1729618713584,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,3]]},"DOI":"10.1109\/iceccs.2008.26","type":"proceedings-article","created":{"date-parts":[[2008,4,23]],"date-time":"2008-04-23T13:47:39Z","timestamp":1208958459000},"page":"269-274","source":"Crossref","is-referenced-by-count":5,"title":["Automatic Composition of AADL Models for the Verification of Critical Component-Based Embedded Systems"],"prefix":"10.1109","author":[{"given":"Hugues","family":"Balp","sequence":"first","affiliation":[]},{"given":"\u00c9tienne","family":"Borde","sequence":"additional","affiliation":[]},{"given":"Gr\u00e9gory","family":"Ha\u00efk","sequence":"additional","affiliation":[]},{"given":"Jean-Fran\u00e7ois","family":"Tilman","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"year":"0","key":"19"},{"key":"17","first-page":"106","article-title":"rapid prototyping of distributed real-time embedded systems using the aadl and ocarina","author":"hugues","year":"2007","journal-title":"Proceedings of the 18th IEEE International Workshop on Rapid System Prototyping (RSP'07)"},{"key":"18","article-title":"model composition - a signature-based approach","author":"reddy","year":"2005","journal-title":"Aspect Oriented Modeling (AOM) Workshop"},{"journal-title":"OMG ptc\/06-04-12","article-title":"qos4ccm final adopted specification","year":"0","key":"15"},{"year":"0","key":"16"},{"key":"13","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/s100090050010","article-title":"uppaal in a nutshell","volume":"1","author":"larsen","year":"1997","journal-title":"Journal on Software Tools for Technology transfer"},{"key":"14","article-title":"behavioural descriptions in architecture description languages: application to aadl. in european congress : erts2006: embedded real time software, toulouse, page (a paraitre). sia, see","author":"bodeveix","year":"2006","journal-title":"AAAF"},{"key":"11","article-title":"really hard time developing hard real time","author":"borde","year":"0","journal-title":"Control Architecture of Robots (CAR '07) Workshop"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/EMRTS.2001.934015"},{"journal-title":"OMG Document realtime\/03-05-05 edn (2003)","article-title":"light weight corba component model revised submission","year":"0","key":"3"},{"year":"1992","key":"2","article-title":"software considerations in airborne systems and equipment certification"},{"year":"0","key":"1"},{"journal-title":"OMG Document ptc\/03-07-08","article-title":"deployment and configuration adopted submission","year":"2003","key":"10"},{"journal-title":"Ades","year":"0","key":"7"},{"key":"6","article-title":"aadl-based dependability modelling","author":"rugina","year":"2006","journal-title":"LAAS report"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/1103846.1103847"},{"journal-title":"Embedded Computing Systems Committee","article-title":"saes as5506, v1.0","year":"2004","key":"4"},{"key":"9","doi-asserted-by":"crossref","DOI":"10.1109\/EDOC.2002.1137704","article-title":"separation of concerns in modeling distributed component-based architectures","author":"marvie","year":"2002","journal-title":"proc of Enterprise Distributed Object Computing Conference"},{"year":"0","key":"8"}],"event":{"name":"2008 13th IEEE International Conference on Engineering of Complex Computer Systems - (ICECCS)","start":{"date-parts":[[2008,3,31]]},"location":"Belfast, Northern Ireland","end":{"date-parts":[[2008,4,3]]}},"container-title":["13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4492860\/4492861\/04492902.pdf?arnumber=4492902","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T03:20:02Z","timestamp":1497756002000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4492902\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,3]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/iceccs.2008.26","relation":{},"subject":[],"published":{"date-parts":[[2008,3]]}}}