{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T05:48:27Z","timestamp":1729662507651,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,10]]},"DOI":"10.1109\/fdl.2014.7119364","type":"proceedings-article","created":{"date-parts":[[2015,6,12]],"date-time":"2015-06-12T15:03:47Z","timestamp":1434121427000},"page":"1-8","source":"Crossref","is-referenced-by-count":1,"title":["Towards satisfaction checking of power contracts in Uppaal"],"prefix":"10.1109","author":[{"given":"Gregor","family":"Nitsche","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kim","family":"Gruttner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"Nebel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","article-title":"Timed I\/O automata: a complete specification theory for real-time systems","author":"david","year":"2010","journal-title":"Proceedings of the 13th ACM international conference on Hybrid systems computation and control (HSCC)"},{"key":"ref11","article-title":"Schedulability and energy efficiency for multicore hierarchical scheduling systems","author":"boudjadar","year":"2014","journal-title":"Proc of the Embedded Real-Time Software and Systems (ERTS)"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/PATMOS.2013.6662180"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/SEAA.2013.8"},{"key":"ref14","article-title":"Non-invasive power simulation at system-level with SystemC","author":"lorenz","year":"2012","journal-title":"Proc Int Workshop on Power and Timing Modeling Optimization and Simulation (PATMOS)"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/43.736561"},{"journal-title":"Design and Validation of Computer Protocols","year":"2007","author":"holzmann","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2013.2285276"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2011.5763167"},{"key":"ref3","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-13754-9_6","article-title":"Towards component based design of hybrid systems: Safety and stability","volume":"6200","author":"damm","year":"2010","journal-title":"Time for Verification Essays in Memory of Amir Pnueli"},{"key":"ref6","article-title":"Contracts for systems design","author":"benveniste","year":"2012","journal-title":"Research Centre Rennes - Bretagne Atlantique Rennes Cedex Tech Report RR-8147"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.3166\/ejc.18.217-238"},{"journal-title":"Conceptual AES example","year":"0","author":"nitsche","key":"ref8"},{"key":"ref7","article-title":"Components and contracts: A semantical foundation for compositional refinement","author":"hungar","year":"2012","journal-title":"Tagungsband Modellbasierte Entwicklung Eingebetteter Systeme (MBEES)"},{"key":"ref2","doi-asserted-by":"crossref","DOI":"10.1002\/j.2334-5837.2008.tb00827.x","article-title":"Designing embedded systems using heterogeneous rich components","author":"josko","year":"2008","journal-title":"Proceedings of the International Symposium of the INCOSE"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/PATMOS.2013.6662156"},{"journal-title":"Aalborg University Denmark and Uppsala University Sweden","year":"0","key":"ref9"}],"event":{"name":"2014 Forum on Specification and Design Languages (FDL)","start":{"date-parts":[[2014,10,14]]},"location":"Munich, Germany","end":{"date-parts":[[2014,10,16]]}},"container-title":["Proceedings of the 2014 Forum on Specification and Design Languages (FDL)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7113213\/7119333\/07119364.pdf?arnumber=7119364","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T13:34:43Z","timestamp":1498224883000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7119364\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/fdl.2014.7119364","relation":{},"subject":[],"published":{"date-parts":[[2014,10]]}}}