{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:16:02Z","timestamp":1725488162419},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540672616"},{"type":"electronic","value":"9783540464280"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-46428-x_24","type":"book-chapter","created":{"date-parts":[[2007,8,1]],"date-time":"2007-08-01T02:01:06Z","timestamp":1185933666000},"page":"349-362","source":"Crossref","is-referenced-by-count":3,"title":["A Case Study on Using Automata in Control Synthesis"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Hune","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anders","family":"Sandholm","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2000,5,19]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Claus Brabrand. Synthesizing safety controllers for interactive Web services. Master\u2019s thesis, Department of Computer Science, University of Aarhus, December 1998. Available from http:\/\/www.brics.dk\/~brabrand\/thesis\/ .","key":"24_CR1","DOI":"10.7146\/brics.v6i9.20066"},{"key":"24_CR2","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1002\/malq.19600060105","volume":"6","author":"J.R. B\u00fcchi","year":"1960","unstructured":"J.R. B\u00fcchi. Weak second-order arithmetic and finite automata. Z. Math. Logik Grundl. Math., 6:66\u201392, 1960.","journal-title":"Z. Math. Logik Grundl. Math."},{"issue":"9","key":"24_CR3","doi-asserted-by":"publisher","first-page":"569","DOI":"10.1145\/365559.365617","volume":"8","author":"E.W. Dijkstra","year":"1965","unstructured":"E.W. Dijkstra. Solution of a problem in concurrent programming control. Communications of the ACM, 8(9):569, September 1965.","journal-title":"Communications of the ACM"},{"key":"24_CR4","doi-asserted-by":"publisher","first-page":"21","DOI":"10.2307\/1993511","volume":"98","author":"C.C. Elgot","year":"1961","unstructured":"C.C. Elgot. Decision problems of finite automata design and related arithmetics. Transactions of the American Mathematical Society, 98:21\u201352, 1961.","journal-title":"Transactions of the American Mathematical Society"},{"unstructured":"T. Hune. Modelling a real-time language. In Proceedings of Fourth International Workshop on Formal Methods for Industrial Critical Systems, 1999.","key":"24_CR5"},{"doi-asserted-by":"crossref","unstructured":"K. Jensen and G. Rozenberg, editors. High-level Petri Nets \u2014 Theory and Application. Springer-Verlag, 1991.","key":"24_CR6","DOI":"10.1007\/978-3-642-84524-6"},{"unstructured":"N. Klarlund and A. M\u00f8ller. MONA Version 1.3 User Manual. BRICS Notes Series NS-98-3 (2.revision), Department of Computer Science, University of Aarhus, October 1998.","key":"24_CR7"},{"doi-asserted-by":"crossref","unstructured":"K. G. Larsen, P. Pettersson, and W. Yi. UPPAAL in a nutshell. In Springer International Journal of Software Tools for Technology Transfer, 1(1+2), 1997.","key":"24_CR8","DOI":"10.1007\/s100090050010"},{"unstructured":"LEGO. Software developers kit, November 1998. See http:\/\/www.legomindstorms.com\/ .","key":"24_CR9"},{"issue":"1","key":"24_CR10","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1145\/357233.357237","volume":"6","author":"Z. Manna","year":"1984","unstructured":"Z. Manna and A. Pnueli. Synthesis of communicating processes from temporal logic specifications. ACM Transactions on Programming Languages and Systems, 6(1):68\u201393, January 1984.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"4","key":"24_CR11","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1093\/comjnl\/37.4.269","volume":"37","author":"S. Mauw","year":"1994","unstructured":"S. Mauw and M. A. Reniers. An algebraic semantics of Basic Message Sequence Charts. The Computer Journal, 37(4):269\u2013277, 1994.","journal-title":"The Computer Journal"},{"issue":"1","key":"24_CR12","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1109\/5.21072","volume":"77","author":"P. J. G. Ramadge","year":"1989","unstructured":"Peter J. G. Ramadge and W. Murray Wonham. The control of discrete event systems. Proceedings of the IEEE, 77(1):81\u201398, January 1989.","journal-title":"Proceedings of the IEEE"},{"key":"24_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1007\/BFb0053596","volume-title":"Fundamental Approaches to Software Engineering, FASE\u201998","author":"A. Sandholm","year":"1998","unstructured":"Anders Sandholm and Michael I. Schwartzbach. Distributed safety controllers for Web services. In Egidio Astesiano, editor, Fundamental Approaches to Software Engineering, FASE\u201998, Lecture Notes in Computer Science, LNCS 1382, pages 270\u2013284. Springer-Verlag, March\/April 1998. Also available as BRICS Technical Report RS-97-47."}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46428-X_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T16:29:16Z","timestamp":1556728156000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46428-X_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540672616","9783540464280"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-46428-x_24","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}