{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T11:27:44Z","timestamp":1725794864137},"publisher-location":"Berlin, Heidelberg","reference-count":4,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662436516"},{"type":"electronic","value":"9783662436523"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-43652-3_11","type":"book-chapter","created":{"date-parts":[[2014,5,29]],"date-time":"2014-05-29T02:22:12Z","timestamp":1401330132000},"page":"130-135","source":"Crossref","is-referenced-by-count":0,"title":["Modelling Energy Consumption in Embedded Systems with VDM-RT"],"prefix":"10.1007","author":[{"given":"Jos\u00e9 Antonio","family":"Esparza Isasa","sequence":"first","affiliation":[]},{"given":"Peter W\u00fcrtz Vinther","family":"J\u00f8rgensen","sequence":"additional","affiliation":[]},{"given":"Claus Balleg\u00e5rd","family":"Nielsen","sequence":"additional","affiliation":[]},{"given":"Stefan","family":"Hallerstede","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"Isasa, J.A.E., Larsen, P.G.: Modelling Different CPU Power States in VDM-RT. In: Proceedings of the 11th Overture Workshop 2013, Aarhus University (June 2013)"},{"key":"11_CR2","unstructured":"Isasa, J.A.E., Larsen, P.G., Hansen, F.O.: Energy-Aware Design of Embedded Software through Modelling and Simulation. In: Proceedings of the SYRCoSE 2014 Symposium (May 2014)"},{"key":"11_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-3-642-24559-6_14","volume-title":"Formal Methods and Software Engineering","author":"K. Lausdahl","year":"2011","unstructured":"Lausdahl, K., Larsen, P.G., Battle, N.: A Deterministic Interpreter Simulating a Distributed Real Time System Using VDM. In: Qin, S., Qiu, Z. (eds.) ICFEM 2011. LNCS, vol.\u00a06991, pp. 179\u2013194. Springer, Heidelberg (2011)"},{"key":"11_CR4","unstructured":"Verhoef, M.: Modeling and Validating Distributed Embedded Real-Time Control Systems. PhD thesis, Radboud University Nijmegen (2009)"}],"container-title":["Lecture Notes in Computer Science","Abstract State Machines, Alloy, B, TLA, VDM, and Z"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-43652-3_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T23:17:34Z","timestamp":1558912654000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-43652-3_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662436516","9783662436523"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-43652-3_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}