{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:54:49Z","timestamp":1725562489584},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/hase.2004.1281728","type":"proceedings-article","created":{"date-parts":[[2004,6,10]],"date-time":"2004-06-10T10:19:45Z","timestamp":1086862785000},"page":"32-41","source":"Crossref","is-referenced-by-count":0,"title":["Multi-view modeling and analysis of embedded real-time software with meta-modeling and model transformation"],"prefix":"10.1109","author":[{"family":"Zonghua Gu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Shige Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Kodase","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K.G.","family":"Shin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","article-title":"Modelling and analysis of event-drive real-time systems with time petri nets","author":"gu","year":"2002","journal-title":"Proceedings of IFIP World Computer Congress Stream on Distributed and Parallel Embedded Systems"},{"key":"2","article-title":"A model-based approach to system-level dependency and real-time analysis of embedded software","author":"gu","year":"2003","journal-title":"Proceedings of Real-Time Technology and Applications Symposium"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/2.585163"},{"key":"1","article-title":"Geodesic - A reusable component framework for embedded real-time systems","author":"de niz","year":"2002","journal-title":"Technical Report"},{"key":"7","first-page":"434","article-title":"The design and performance of a real-time corba object event service","author":"schmidt","year":"1997","journal-title":"Proc ACM SIGPLAN Conference on Object-Oriented Programming Systems Languages Applications"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-2796-1"},{"key":"5","article-title":"A model-based front-end to tao\/ace","author":"karsai","year":"2002","journal-title":"Proceedings of the 2nd Workshop on TAO"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2003.1201197"},{"key":"9","article-title":"Bounding the end-to-end response times of tasks in a distributed real-time system using the direct synchronization protocol","author":"sun","year":"1996","journal-title":"Technical Report"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2001.922836"},{"journal-title":"OTIF Website","year":"0","key":"11"},{"journal-title":"WindRiver Website","year":"0","key":"12"}],"event":{"name":"Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004.","location":"Tampa, FL, USA"},"container-title":["Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9019\/28627\/01281728.pdf?arnumber=1281728","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T14:21:00Z","timestamp":1489414860000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1281728\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/hase.2004.1281728","relation":{},"subject":[]}}