{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T20:51:44Z","timestamp":1760043104327,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540884781"},{"type":"electronic","value":"9783540884798"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-88479-8_31","type":"book-chapter","created":{"date-parts":[[2008,11,4]],"date-time":"2008-11-04T09:18:43Z","timestamp":1225790323000},"page":"445-459","source":"Crossref","is-referenced-by-count":4,"title":["ALL-TIMES \u2013 A European Project on Integrating Timing Technology"],"prefix":"10.1007","author":[{"given":"Jan","family":"Gustafsson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bj\u00f6rn","family":"Lisper","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Markus","family":"Schordan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Ferdinand","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Gliwa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marek","family":"Jersak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guillem","family":"Bernat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"31_CR1","unstructured":"ALL-TIMES: Homepage (2008), \n                    \n                      http:\/\/www.all-times.org"},{"key":"31_CR2","unstructured":"IBM: News Web page (April 2005), \n                    \n                      http:\/\/www.ibm.com\/news\/be\/en\/2005\/05\/3102.html"},{"key":"31_CR3","unstructured":"ARTIST2: Timing-Analysis Cluster homepage (2008), \n                    \n                      http:\/\/www.artist-embedded.org\/artist"},{"key":"31_CR4","unstructured":"INTEREST: INTEREST (2008), \n                    \n                      http:\/\/www.interest-strep.eu\/"},{"key":"31_CR5","unstructured":"AUTOSAR: Homepage (2008), \n                    \n                      http:\/\/www.autosar.org\/"},{"key":"31_CR6","unstructured":"M\u00e4lardalen University: WCET project homepage (2008), \n                    \n                      http:\/\/www.mrtc.mdh.se\/projects\/wcet"},{"key":"31_CR7","unstructured":"SATIrE: SATIrE homepage (2008), \n                    \n                      http:\/\/www.complang.tuwien.ac.at\/markus\/satire"},{"key":"31_CR8","unstructured":"AbsInt: aiT tool homepage (2008), \n                    \n                      http:\/\/www.absint.com\/ait"},{"key":"31_CR9","unstructured":"Gliwa: homepage (2008), \n                    \n                      http:\/\/www.gliwa.com\/e\/home.html"},{"key":"31_CR10","unstructured":"Symtavision: homepage (2008), \n                    \n                      http:\/\/www.symtavision.com\/"},{"key":"31_CR11","unstructured":"Rapita: RapiTime WCET tool homepage (2006), \n                    \n                      http:\/\/www.rapitasystems.com"},{"key":"31_CR12","unstructured":"Prantl, A., Schordan, M., Knoop, J.: TuBound - a conceptually new tool for worst-case execution time analysis. In: Proceedings of the 8th International Workshop on Worst-Case Execution Time Analysis (July 2008)"},{"key":"31_CR13","doi-asserted-by":"crossref","unstructured":"Gustafsson, J., Ermedahl, A.: Experiences from applying WCET analysis in industrial settings. In: Proc. 10th IEEE International Symposium on Object\/Component\/Service-oriented Real-time Distributed Computing (ISORC 2007), Santorini Island, Greece (May 2007)","DOI":"10.1109\/ISORC.2007.36"}],"container-title":["Communications in Computer and Information Science","Leveraging Applications of Formal Methods, Verification and Validation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88479-8_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,25]],"date-time":"2019-01-25T03:36:56Z","timestamp":1548387416000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88479-8_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540884781","9783540884798"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88479-8_31","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2008]]}}}