{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T09:37:33Z","timestamp":1743154653067,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642346132"},{"type":"electronic","value":"9783642346149"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34614-9_9","type":"book-chapter","created":{"date-parts":[[2012,11,8]],"date-time":"2012-11-08T11:02:07Z","timestamp":1352372527000},"page":"119-128","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Modeling Quality Aspects: Real-Time"],"prefix":"10.1007","author":[{"given":"Robert","family":"Hilbrich","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. Reinier","family":"van Kampenhout","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marian","family":"Daun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thorsten","family":"Weyer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dominik","family":"Sojer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,10,26]]},"reference":[{"issue":"2","key":"9_CR1","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1999","unstructured":"[Alur 1999] R. Alur: Timed automata. In: Theoretical Computer Science, Vol. 126, No. 2, 1999, pp. 183-235.","journal-title":"Timed automata. In: Theoretical Computer Science"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"[Buckl et al. 2010] C. Buckl, I. Gaponova, M. Geisinger, A. Knoll, E. A. Lee: Model-based specification of timing requirements. In: Proceedings of the tenth ACM International conference on Embedded software. ACM, New York, 2010, pp. 239-248.","DOI":"10.1145\/1879021.1879053"},{"key":"9_CR3","first-page":"4","volume-title":"Hard Real-time Computing Systems: Predictable Scheduling Algorithms And Applications","author":"GC Buttazzo","year":"2004","unstructured":"[Buttazzo 2004] G. C. Buttazzo: Hard Real-time Computing Systems: Predictable Scheduling Algorithms And Applications. 2nd Edition, Springer, Santa Clara, CA, USA, 2004, pp. 4-9.","edition":"2"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"[Henzinger et al. 2003] T. A. Henzinger, B. Horowitz, C. M. Kirsch: Giotto: A time-triggered language for embedded programming. In: Proceedings of the IEEE, Vol. 91, No. 1, 2003. pp. 84-99.","DOI":"10.1109\/JPROC.2002.805825"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"[Hilbrich 2011] R. Hilbrich, H.-J. Goltz: Model-based generation of static schedules for safety critical multi-core systems in the avionics domain. In: Proceeding of the 4th international workshop on Multicore software engineering, Waikiki, Honolulu, HI, USA, 2011, pp. 9-16.","DOI":"10.1145\/1984693.1984695"},{"key":"9_CR6","first-page":"1","volume":"1997","author":"Jette, M. A: Performance characteristics of gang scheduling in multiprogrammed environments. In: Proceedings of the","year":"1997","unstructured":"[Jette 1997] Jette, M. A: Performance characteristics of gang scheduling in multiprogrammed environments. In: Proceedings of the 1997 ACM\/IEEE conference on Supercomputing (CDROM), ACM, 1997, pp. 1-12.","journal-title":"ACM"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"[Kopetz 1991] H. Kopetz: Event-triggered versus time-triggered real-time systems. In: Operating Systems of the 90s and Beyond, Lecture Notes in Computer Science Vol. 563, 1991, pp. 86-101.","DOI":"10.1007\/BFb0024530"},{"key":"9_CR8","unstructured":"[Ousterhout 1982] Ousterhout, J. K.: Scheduling techniques for concurrent systems. In: Proceedings of 3rd International Conf. on Distributed Computing systems, 1982, pp. 22 \u2013 30."},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"[Zhao et al. 2007] Y. Zhao, E. A. Lee, J. Liu: A programming model for time-synchronized distributed real-time systems. In: Proceedings of the 13th IEEE Real-Time and Embedded Technology and Applications Symposium, Bellevue, WA, USA 2007. pp. 259-268.","DOI":"10.1109\/RTAS.2007.5"}],"container-title":["Model-Based Engineering of Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34614-9_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,7]],"date-time":"2023-02-07T11:50:35Z","timestamp":1675770635000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-34614-9_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642346132","9783642346149"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34614-9_9","relation":{},"subject":[],"published":{"date-parts":[[2012]]},"assertion":[{"value":"26 October 2012","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}