{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,15]],"date-time":"2025-10-15T04:14:44Z","timestamp":1760501684054},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,9]]},"DOI":"10.1109\/fdl.2008.4641446","type":"proceedings-article","created":{"date-parts":[[2008,10,14]],"date-time":"2008-10-14T15:14:34Z","timestamp":1223997274000},"page":"203-208","source":"Crossref","is-referenced-by-count":15,"title":["Model-based Design Space Exploration for RTES with SysML and MARTE"],"prefix":"10.1109","author":[{"given":"Marcello","family":"Mura","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luis Gabriel","family":"Murillo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mauro","family":"Prevostini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","article-title":"using marte in a co-design methodology","author":"koudri","year":"0","journal-title":"UML Workshop at Date'08"},{"key":"17","article-title":"tool support for a scheduling analysis view","author":"hagner","year":"0","journal-title":"UML Workshop at Date'08"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-2796-1"},{"year":"0","key":"15"},{"year":"0","key":"16"},{"year":"0","key":"13"},{"key":"14","article-title":"hardware\/software partitioning of uml models","author":"green","year":"0","journal-title":"UML-SoC'07"},{"year":"0","key":"11"},{"year":"0","key":"12"},{"key":"21","doi-asserted-by":"crossref","DOI":"10.1007\/0-306-48738-1_12","article-title":"schedulability analysis with uml","author":"natale","year":"2003","journal-title":"UML for Real Design of Embedded Real- Time Systems"},{"key":"20","article-title":"advanced tool architectures","author":"lee","year":"2004","journal-title":"Chess Conferences Reviews"},{"key":"22","doi-asserted-by":"crossref","DOI":"10.1007\/0-306-48738-1_11","article-title":"performance analysis with uml: layered queueing models from the performance profile","author":"petriu","year":"2003","journal-title":"UML for Real Design of Embedded Real-Time Systems"},{"journal-title":"Scheduling Validation for UML-modeled Real-Time Systems","year":"0","author":"phan","key":"23"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/EMRTS.2000.853997"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/2.846320"},{"year":"0","key":"26"},{"year":"0","key":"27"},{"year":"0","key":"3"},{"year":"0","key":"2"},{"key":"10","article-title":"annotating uml models with non-functional properties for quantitative analysis","author":"espinoza","year":"2005","journal-title":"Satellite Events at MoDELS"},{"year":"0","key":"1"},{"journal-title":"Sensitivity and Optimization","year":"1980","author":"bayton","key":"7"},{"year":"0","key":"6"},{"key":"5","article-title":"using uml 2.0 for the creation of concept-based soc design","author":"ahmed","year":"0","journal-title":"UML-SoC'07"},{"year":"0","key":"4"},{"year":"0","key":"9"},{"year":"0","key":"8"}],"event":{"name":"Design Languages (FDL)","start":{"date-parts":[[2008,9,23]]},"location":"Stuttgart","end":{"date-parts":[[2008,9,25]]}},"container-title":["2008 Forum on Specification, Verification and Design Languages"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4636106\/4641405\/04641446.pdf?arnumber=4641446","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,9]],"date-time":"2020-05-09T00:36:02Z","timestamp":1588984562000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4641446\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,9]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/fdl.2008.4641446","relation":{},"subject":[],"published":{"date-parts":[[2008,9]]}}}