{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,10]],"date-time":"2025-05-10T20:03:42Z","timestamp":1746907422141},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540857778"},{"type":"electronic","value":"9783540857785"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-85778-5_13","type":"book-chapter","created":{"date-parts":[[2008,8,29]],"date-time":"2008-08-29T13:32:04Z","timestamp":1220016724000},"page":"170-187","source":"Crossref","is-referenced-by-count":12,"title":["Formal Modeling and Scheduling of Datapaths of Digital Document Printers"],"prefix":"10.1007","author":[{"given":"Georgeta","family":"Igna","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Venkatesh","family":"Kannan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yang","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Twan","family":"Basten","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Geilen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frits","family":"Vaandrager","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Voorhoeve","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"de Smet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lou","family":"Somers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"13_CR1","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1016\/j.tcs.2005.11.018","volume":"354","author":"Y. Abdedda\u00efm","year":"2006","unstructured":"Abdedda\u00efm, Y., Asarin, E., Maler, O.: Scheduling with timed automata. TCS\u00a0354(2), 272\u2013300 (2006)","journal-title":"TCS"},{"key":"13_CR2","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R. Alur","year":"1995","unstructured":"Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T., Ho, P.-H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. TCS\u00a0138, 3\u201334 (1995)","journal-title":"TCS"},{"key":"13_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","volume-title":"Formal Methods for the Design of Real-Time Systems","author":"G. Behrmann","year":"2004","unstructured":"Behrmann, G., David, A., Larsen, K.: A tutorial on Uppaal. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol.\u00a03185, pp. 200\u2013236. Springer, Heidelberg (2004)"},{"key":"13_CR4","first-page":"125","volume-title":"QEST 2006","author":"G. Behrmann","year":"2006","unstructured":"Behrmann, G., David, A., Larsen, K.G., H\u00e5kansson, J., Pettersson, P., Yi, W., Hendriks, M.: Uppaal 4.0. In: QEST 2006, pp. 125\u2013126. IEEE Computer Soceity Press, Los Alamitos (2006)"},{"issue":"4","key":"13_CR5","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1145\/1059816.1059823","volume":"32","author":"G. Behrmann","year":"2005","unstructured":"Behrmann, G., Larsen, K.G., Rasmussen, J.I.: Optimal scheduling using priced timed automata. SIGMETRICS Perform. Eval. Rev.\u00a032(4), 34\u201340 (2005)","journal-title":"SIGMETRICS Perform. Eval. Rev."},{"key":"13_CR6","first-page":"25","volume-title":"ACSD 2006","author":"A. Ghamarian","year":"2006","unstructured":"Ghamarian, A., Geilen, M., Stuijk, S., Basten, T., Moonen, A., Bekooij, M., Theelen, B., Mousavi, M.: Throughput analysis of synchronous data flow graphs. In: ACSD 2006, pp. 25\u201334. IEEE Computer Soceity Press, Los Alamitos (2006)"},{"issue":"6","key":"13_CR7","doi-asserted-by":"publisher","first-page":"633","DOI":"10.1007\/s10009-006-0025-7","volume":"8","author":"M. Hendriks","year":"2006","unstructured":"Hendriks, M., van den Nieuwelaar, N.J.M., Vaandrager, F.W.: Model checker aided design of a controller for a wafer scanner. STTT\u00a08(6), 633\u2013647 (2006)","journal-title":"STTT"},{"key":"13_CR8","volume-title":"WPDRS 2006","author":"M. Hendriks","year":"2006","unstructured":"Hendriks, M., Verhoef, M.: Timed automata based analysis of embedded system architectures. In: WPDRS 2006. IEEE, Los Alamitos (2006)"},{"key":"13_CR9","doi-asserted-by":"crossref","first-page":"110","DOI":"10.1007\/s100090050008","volume":"1","author":"T.A. Henzinger","year":"1997","unstructured":"Henzinger, T.A., Ho, P.-H., Wong-Toi, H.: HyTech: A Model Checker for Hybrid Systems. STTT\u00a01, 110\u2013122 (1997)","journal-title":"STTT"},{"key":"13_CR10","volume-title":"EATCS Monographs on Theoretical Computer Science","author":"K. Jensen","year":"1992","unstructured":"Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. In: EATCS Monographs on Theoretical Computer Science. Springer, Heidelberg (1992)"},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"Jensen, K., Kristensen, L.M., Wells, L.: Coloured Petri nets and CPN tools for modelling and validation of concurrent systems. In: STTT, vol.\u00a09(3-4) (2007)","DOI":"10.1007\/s10009-007-0038-x"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Perathoner, S., Wandeler, E., Thiele, L., Hamann, A., Schliecker, S., Henia, R., Racu, R., Ernst, R., Harbour, M.G.: Influence of different system abstractions on the performance analysis of distributed real-time systems. In: EMSOFT, New York, NY, USA, pp. 193\u2013202 (2007)","DOI":"10.1145\/1289927.1289959"},{"key":"13_CR13","first-page":"276","volume-title":"ACSD 2006","author":"S. Stuijk","year":"2006","unstructured":"Stuijk, S., Geilen, M., Basten, T.: SDF3: SDF For Free. In: ACSD 2006, pp. 276\u2013278. IEEE CS Press, Los Alamitos (2006)"},{"key":"13_CR14","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1145\/371636.371712","volume-title":"CODES","author":"C. Wong","year":"2001","unstructured":"Wong, C., Marchal, P., Yang, P., Prayati, A., Catthoor, F., Lauwereins, R., Verkest, D., Man, H.D.: Task concurrency management methodology to schedule the mpeg4 1m1 player on a highly parallel processor platform. In: CODES, pp. 170\u2013177. ACM, New York (2001)"}],"container-title":["Lecture Notes in Computer Science","Formal Modeling and Analysis of Timed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85778-5_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,3]],"date-time":"2019-03-03T11:37:14Z","timestamp":1551613034000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-85778-5_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540857778","9783540857785"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85778-5_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}