{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T07:58:07Z","timestamp":1725868687439},"publisher-location":"Cham","reference-count":8,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319491080"},{"type":"electronic","value":"9783319491097"}],"license":[{"start":{"date-parts":[[2016,10,22]],"date-time":"2016-10-22T00:00:00Z","timestamp":1477094400000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-49109-7_75","type":"book-chapter","created":{"date-parts":[[2016,10,21]],"date-time":"2016-10-21T09:03:15Z","timestamp":1477040595000},"page":"779-788","source":"Crossref","is-referenced-by-count":2,"title":["Powerwindow: a Multi-component TACLeBench Benchmark for Timing Analysis"],"prefix":"10.1007","author":[{"given":"Haoxuan","family":"Li","sequence":"first","affiliation":[]},{"given":"Paul","family":"De Meulenaere","sequence":"additional","affiliation":[]},{"given":"Peter","family":"Hellinckx","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,10,22]]},"reference":[{"key":"75_CR1","unstructured":"Falk, H., et al.: Taclebench: A benchmark collection to support worst-case execution time research. In: 16th International Workshop on Worst-Case Execution Time Analysis (2016)"},{"key":"75_CR2","unstructured":"Hayhurst, K.J., et al.: A practical tutorial on modified condition\/decision coverage (2001)"},{"key":"75_CR3","unstructured":"Johnson, L.A., et al.: Do-178b, software considerations in airborne systems and equipment certification. Crosstalk, October (1998)"},{"key":"75_CR4","unstructured":"Prabhu, S.M., et al.: Model-based design of a power window system: Modeling, simulation and validation. In: Proceedings of IMAC-XXII: A Conference on Structural Dynamics, Society for Experimental Mechanics, Inc., Dearborn, MI (2004)"},{"key":"75_CR5","unstructured":"Rierson, L., et al.: Developing safety-critical software: a practical guide for aviation software and DO-178C compliance. CRC Press (2013)"},{"key":"75_CR6","unstructured":"Vanherpen, K., et al.: Model transformations for round-trip engineering in control deployment co-design. In: Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, pp. 55\u201362. Society for Computer Simulation International (2015)"},{"key":"75_CR7","doi-asserted-by":"crossref","unstructured":"Wilhelm, R., Altmeyer, S., Burgui`ere, C., Grund, D., Herter, J., Reineke, J., Wachter, B., Wilhelm, S.: Static timing analysis for hard real-time systems. In: Verification, Model Checking, and Abstract Interpretation, pp. 3\u201322. Springer (2010)","DOI":"10.1007\/978-3-642-11319-2_3"},{"key":"75_CR8","doi-asserted-by":"crossref","unstructured":"Zahir, A., et al.: Osek\/vdx-operating systems for automotive applications. In: OSEK\/VDX Open Systems in Automotive Networks (Ref. No. 1998\/523), IEE Seminar, pp. 4\u20131. IET (1998)","DOI":"10.1049\/ic:19981075"}],"container-title":["Lecture Notes on Data Engineering and Communications Technologies","Advances on P2P, Parallel, Grid, Cloud and Internet Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-49109-7_75","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,14]],"date-time":"2019-09-14T22:01:59Z","timestamp":1568498519000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-49109-7_75"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10,22]]},"ISBN":["9783319491080","9783319491097"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-49109-7_75","relation":{},"ISSN":["2367-4512","2367-4520"],"issn-type":[{"type":"print","value":"2367-4512"},{"type":"electronic","value":"2367-4520"}],"subject":[],"published":{"date-parts":[[2016,10,22]]}}}