{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:47:25Z","timestamp":1725893245012},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642324680"},{"type":"electronic","value":"9783642324697"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32469-7_5","type":"book-chapter","created":{"date-parts":[[2012,8,21]],"date-time":"2012-08-21T17:07:27Z","timestamp":1345568847000},"page":"63-77","source":"Crossref","is-referenced-by-count":2,"title":["Microcontroller Assembly Synthesis from Timed Automaton Task Specifications"],"prefix":"10.1007","author":[{"given":"Victor","family":"Bandur","sequence":"first","affiliation":[]},{"given":"Wolfram","family":"Kahl","sequence":"additional","affiliation":[]},{"given":"Alan","family":"Wassyng","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science\u00a0126, 183\u2013235 (1994)","journal-title":"Theoretical Computer Science"},{"key":"5_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/978-3-540-40903-8_6","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"T. Amnell","year":"2004","unstructured":"Amnell, T., Fersman, E., Mokrushin, L., Pettersson, P., Yi, W.: TIMES: A Tool for Schedulability Analysis and Code Generation of Real-time Systems. In: Larsen, K.G., Niebert, P. (eds.) FORMATS 2003. LNCS, vol.\u00a02791, pp. 60\u201372. Springer, Heidelberg (2004)"},{"key":"5_CR3","unstructured":"Bandur, V.: Hard Real-Time Microcontroller Code Generation from Timed Automaton Specifications. Master\u2019s thesis, McMaster University (2008), \n                  \n                    http:\/\/www.cs.york.ac.uk\/~bandurvp"},{"key":"5_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-540-73368-3_14","volume-title":"Computer Aided Verification","author":"G. Behrmann","year":"2007","unstructured":"Behrmann, G., Cougnard, A., David, A., Fleury, E., Larsen, K.G., Lime, D.: UPPAAL-Tiga: Time for Playing Games! In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol.\u00a04590, pp. 121\u2013125. Springer, Heidelberg (2007)"},{"issue":"3","key":"5_CR5","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/s00165-005-0067-8","volume":"17","author":"M. Wulf De","year":"2005","unstructured":"De Wulf, M., Doyen, L., Raskin, J.F.: Almost ASAP semantics: From timed models to timed implementations. Formal Aspects of Computing\u00a017(3), 319\u2013341 (2005)","journal-title":"Formal Aspects of Computing"},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/3-540-63010-4_8","volume-title":"Transformation-Based Reactive Systems Development","author":"H. Dierks","year":"1997","unstructured":"Dierks, H.: PLC-automata: A New Class of Implementable Real-time Automata. In: Bertr\u00e1n, M., Rus, T. (eds.) ARTS 1997. LNCS, vol.\u00a01231, pp. 111\u2013125. Springer, Heidelberg (1997)"},{"issue":"1","key":"5_CR7","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1109\/43.739057","volume":"18","author":"H. Dierks","year":"1999","unstructured":"Dierks, H.: Synthesizing controllers from real-time specifications. IEEE Trans. on CAD of Integrated Circuits and Systems\u00a018(1), 33\u201343 (1999)","journal-title":"IEEE Trans. on CAD of Integrated Circuits and Systems"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Dierks, H.: PLC-automata: A new class of implementable real-time automata. Theoretical Computer Science\u00a0253 (2001)","DOI":"10.1016\/S0304-3975(00)00089-X"},{"key":"5_CR9","unstructured":"Freescale Semiconductor: MC68HC08AB16A\/D Data Sheet (July 2005), document MCH68HC08AB16A"},{"key":"5_CR10","unstructured":"Graphviz: Graphviz \u2013 graph visualization software (2011), \n                  \n                    http:\/\/www.graphviz.org"},{"key":"5_CR11","unstructured":"Intel Corporation: Intel MCS 51 Microcontroller Family User\u2019s Manual (February 1994), order 272383-002"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Jee, E., Wang, S., Kim, J.-K., Lee, J., Sokolsky, O., Lee, I.: A safety-assured development approach for real-time software. In: RTCSA 2010, pp. 133\u2013142. IEEE Computer Society (2010)","DOI":"10.1109\/RTCSA.2010.42"},{"key":"5_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/978-3-540-75454-1_17","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"J.J. Jessen","year":"2007","unstructured":"Jessen, J.J., Rasmussen, J.I., Larsen, K.G., David, A.: Guided Controller Synthesis for Climate Controller Using Uppaal Tiga. In: Raskin, J.-F., Thiagarajan, P.S. (eds.) FORMATS 2007. LNCS, vol.\u00a04763, pp. 227\u2013240. Springer, Heidelberg (2007)"},{"key":"5_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/978-3-642-14521-6_8","volume-title":"Unifying Theories of Programming","author":"A.A. McEwan","year":"2010","unstructured":"McEwan, A.A., Woodcock, J.: Unifying Theories of Interrupts. In: Butterfield, A. (ed.) UTP 2008. LNCS, vol.\u00a05713, pp. 122\u2013141. Springer, Heidelberg (2010)"},{"issue":"7","key":"5_CR15","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1145\/364995.365000","volume":"8","author":"W.M. McKeeman","year":"1965","unstructured":"McKeeman, W.M.: Peephole optimization. Commun. ACM\u00a08(7), 443\u2013444 (1965)","journal-title":"Commun. ACM"},{"key":"5_CR16","unstructured":"Microchip Technology Inc.: PIC 18FXX2 Data Sheet (2002), document DS39564B"},{"key":"5_CR17","unstructured":"Mukund, M.: Finite-state automata on infinite inputs. Tech. Rep. TCS-96-2, SPIC Mathematical Institute (1996)"},{"key":"5_CR18","unstructured":"Tektronix, Inc.: TDS1000- and TDS2000-Series Digital Storage Oscilloscope (May 2011), document 071-1064-00"},{"issue":"3","key":"5_CR19","first-page":"219","volume":"2","author":"M.R. Tuttle","year":"1989","unstructured":"Tuttle, M.R., Lynch, N.A.: An introduction to input\/output automata. CWI Quarterly\u00a02(3), 219\u2013246 (1989)","journal-title":"CWI Quarterly"},{"key":"5_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/11526841_12","volume-title":"FM 2005: Formal Methods","author":"A. Wassyng","year":"2005","unstructured":"Wassyng, A., Lawford, M., Hu, X.: Timing Tolerances in Safety-Critical Software. In: Fitzgerald, J.S., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol.\u00a03582, pp. 157\u2013172. Springer, Heidelberg (2005)"},{"issue":"5","key":"5_CR21","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1016\/0020-0190(91)90122-X","volume":"40","author":"Z. ChaoChen","year":"1991","unstructured":"ChaoChen, Z., Hoare, C.A.R., Ravn, A.P.: A calculus of durations. Information Processing Letters\u00a040(5), 269\u2013276 (1991)","journal-title":"Information Processing Letters"},{"key":"5_CR22","unstructured":"Zilog: Zilog Z80 Family CPU User Manual (2004), document UM008005-0205"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Industrial Critical Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32469-7_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T08:03:45Z","timestamp":1620115425000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32469-7_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642324680","9783642324697"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32469-7_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}