{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:31:54Z","timestamp":1725568314362},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642165603"},{"type":"electronic","value":"9783642165610"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-16561-0_38","type":"book-chapter","created":{"date-parts":[[2010,11,2]],"date-time":"2010-11-02T09:50:50Z","timestamp":1288691450000},"page":"412-423","source":"Crossref","is-referenced-by-count":7,"title":["Verification of Printer Datapaths Using Timed Automata"],"prefix":"10.1007","author":[{"given":"Georgeta","family":"Igna","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frits","family":"Vaandrager","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"38_CR1","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1145\/1498765.1498785","volume":"52","author":"S. Williams","year":"2009","unstructured":"Williams, S., Waterman, A., Patterson, D.: Roofline: an insightful visual performance model for multicore architectures. Commun. ACM\u00a052(4), 65\u201376 (2009)","journal-title":"Commun. ACM"},{"key":"38_CR2","first-page":"125","volume-title":"Third International Conference on the Quantitative Evaluation of SysTems (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: Third International Conference on the Quantitative Evaluation of SysTems (QEST 2006), Riverside, CA, USA, September 11-14, pp. 125\u2013126. IEEE Computer Society, Los Alamitos (2006)"},{"issue":"1-2","key":"38_CR3","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"K.G. Larsen","year":"1997","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: Uppaal in a Nutshell. Int. Journal on Software Tools for Technology Transfer\u00a01(1-2), 134\u2013152 (1997)","journal-title":"Int. Journal on Software Tools for Technology Transfer"},{"key":"38_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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.G.: A tutorial on UPPAAL. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol.\u00a03185, pp. 200\u2013236. Springer, Heidelberg (2004)"},{"key":"38_CR5","unstructured":"Homepage Octopus project, \n                    \n                      http:\/\/www.esi.nl\/short\/octopus"},{"key":"38_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/978-3-540-85778-5_13","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"G. Igna","year":"2008","unstructured":"Igna, G., Kannan, V., Yang, Y., Basten, T., Geilen, M., Vaandrager, F., Voorhoeve, M., Smet, S., Somers, L.: Formal modeling and scheduling of datapaths of digital document printers. In: Cassez, F., Jard, C. (eds.) FORMATS 2008. LNCS, vol.\u00a05215, pp. 170\u2013187. Springer, Heidelberg (2008)"},{"key":"38_CR7","doi-asserted-by":"crossref","unstructured":"Jensen, K., Michael, L., Wells, K.L., Jensen, K., Kristensen, L.M.: Coloured petri nets and cpn tools for modelling and validation of concurrent systems. International Journal on Software Tools for Technology Transfer (2007)","DOI":"10.1007\/s10009-007-0038-x"},{"key":"38_CR8","series-title":"EATCS Series","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-06289-0","volume-title":"Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use","author":"K. Jensen","year":"1992","unstructured":"Jensen, K.: Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. EATCS Series. Springer, Heidelberg (1992)"},{"key":"38_CR9","first-page":"25","volume-title":"Proc. ACSD 2006","author":"A.H. Ghamarian","year":"2006","unstructured":"Ghamarian, A.H., Geilen, M.C.W., Stuijk, S., Basten, T., Moonen, A.J.M., Bekooij, M.J.G., Theelen, B.D., Mousavi, M.R.: Throughput analysis of synchronous data flow graphs. In: Proc. ACSD 2006, pp. 25\u201334. IEEE, Los Alamitos (2006)"},{"key":"38_CR10","first-page":"276","volume-title":"Proceedings of Application of Concurrency to System Design, ACSD 2006","author":"E. Stuijk","year":"2006","unstructured":"Stuijk, E., Geilen, M., Basten, T.: Sdf 3: Sdf for free. In: Proceedings of Application of Concurrency to System Design, ACSD 2006, pp. 276\u2013278. IEEE, Los Alamitos (2006)"},{"key":"38_CR11","first-page":"107","volume-title":"Proceedings of the 9th ACM & IEEE International conference on Embedded software, EMSOFT 2009","author":"K. Lampka","year":"2009","unstructured":"Lampka, K., Perathoner, S., Thiele, L.: Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems. In: Chakraborty, S., Halbwachs, N. (eds.) Proceedings of the 9th ACM & IEEE International conference on Embedded software, EMSOFT 2009, Grenoble, France, October 12-16, pp. 107\u2013116. ACM, New York (2009)"},{"key":"38_CR12","first-page":"10190","volume-title":"DATE 2003: Proceedings of the conference on Design, Automation and Test in Europe","author":"S. Chakraborty","year":"2003","unstructured":"Chakraborty, S., Kunzli, S., Thiele, L.: A general framework for analysing system properties in platform-based embedded system designs. In: DATE 2003: Proceedings of the conference on Design, Automation and Test in Europe, Washington, DC, USA, p. 10190. IEEE Computer Society, Los Alamitos (2003)"},{"key":"38_CR13","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1109\/ACSD.2007.53","volume-title":"Proceedings of the Seventh International Conference on Application of Concurrency to System Design","author":"L. Thiele","year":"2007","unstructured":"Thiele, L., Bacivarov, I., Haid, W., Huang, K.: Mapping applications to tiled multiprocessor embedded systems. In: Proceedings of the Seventh International Conference on Application of Concurrency to System Design, Washington, DC, USA, pp. 29\u201340. IEEE Computer Society Press, Los Alamitos (2007)"},{"key":"38_CR14","doi-asserted-by":"crossref","first-page":"469","DOI":"10.1109\/REAL.2004.17","volume-title":"Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004)","author":"A. Hamann","year":"2004","unstructured":"Hamann, A., Jersak, M., Richter, K., Ernst, R.: Design space exploration and system optimization with symta\/s\u2013 symbolic timing analysis for systems. In: Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), Lisbon, Portugal, December 5-8, pp. 469\u2013478. IEEE Computer Society, Los Alamitos (2004)"},{"key":"38_CR15","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1109\/EMRTS.2001.934015","volume-title":"13th Euromicro Conference on Real-Time Systems (ECRTS 2001)","author":"M.G. Harbour","year":"2001","unstructured":"Harbour, M.G., Garc\u00eda, J.G., Guti\u00e9rrez, J.P., Moyano, J.D.: Mast: Modeling and analysis suite for real time applications. In: 13th Euromicro Conference on Real-Time Systems (ECRTS 2001), Delft, The Netherlands, June 13-15, pp. 125\u2013134. IEEE Computer Society Press, Los Alamitos (2001)"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification, and Validation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16561-0_38","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,21]],"date-time":"2019-03-21T20:43:16Z","timestamp":1553200996000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16561-0_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642165603","9783642165610"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16561-0_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}