{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T13:20:22Z","timestamp":1742995222320,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540244226"},{"type":"electronic","value":"9783540309604"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"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":[[2004]]},"DOI":"10.1007\/978-3-540-30960-4_11","type":"book-chapter","created":{"date-parts":[[2010,2,25]],"date-time":"2010-02-25T14:19:26Z","timestamp":1267107566000},"page":"161-172","source":"Crossref","is-referenced-by-count":4,"title":["Towards Timed Automata and Multi-agent Systems"],"prefix":"10.1007","author":[{"given":"G.","family":"Hutzler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H.","family":"Klaudel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D. Y.","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"11_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(2), 183\u2013236 (1994)","journal-title":"Theoretical Computer Science"},{"key":"11_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1007\/b13229","volume-title":"Adaptive Agents and Multi-Agent Systems","author":"T. Arai","year":"2003","unstructured":"Arai, T., Stolzenburg, F.: Multiagent systems specification by UML statecharts aiming at intelligent manufacturing. In: Alonso, E., Kudenko, D., Kazakov, D. (eds.) AAMAS 2000 and AAMAS 2002. LNCS, vol.\u00a02636, pp. 11\u201318. Springer, Heidelberg (2003)"},{"key":"11_CR3","unstructured":"Attoui, A.: Les systmes multi-agents et le temps-rel, Eyrolles (1997)"},{"key":"11_CR4","unstructured":"Belleifemine, F., Caire, G., Poggi, A., Rimassa, G.: JADE - A White Paper (2003), \n                    \n                      http:\/\/sharon.cselt.it\/projects\/jade\/papers\/WhitePaperJADEEXP.pdf"},{"key":"11_CR5","volume-title":"Real-Time UML: Developing Efficient Objects for Embedded Systems","author":"B.P. Douglass","year":"1998","unstructured":"Douglass, B.P.: Real-Time UML: Developing Efficient Objects for Embedded Systems. Addison-Wesley-Longman, Reading (1998)"},{"issue":"2\/3","key":"11_CR6","first-page":"249","volume":"5","author":"R. Elmstrm","year":"1993","unstructured":"Elmstrm, R., Lintulampi, R., Pezze, M.: Giving Semantics to SA\/RT by Means of High-Level Timed Petri Nets. RTS J.\u00a05(2\/3), 249\u2013271 (1993)","journal-title":"RTS J."},{"key":"11_CR7","unstructured":"Groupe AFCET Systmes Logiques. Pour une reprsentation normalise du cahier des charges d\u2019un automatisme logique. In: RAII, Vol. 61 & 62 (1977)"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Harel D.: Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming\u00a08 (1987)","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"11_CR9","unstructured":"Harel, D., Pnueli, A., Schmidt, J.P., Sherman, R.: On the Formal Semantics of Statecharts. In: LICS 1987, pp. 54\u201364 (1987)"},{"key":"11_CR10","unstructured":"Hatley, D.J., Pirbhai, I.: Strategies for Real Time System Specification. Dover Press (1987)"},{"volume-title":"Core Java 2","year":"1999","key":"11_CR11","unstructured":"Horstmann, S., Cornell, G. (eds.): Core Java 2, vol.\u00a01 & 2. Prentice Hall, Englewood Cliffs (1999)"},{"key":"11_CR12","unstructured":"Hutzler, G., Gortais, B., Joly, P., Orlarey, Y., Zucker, J.-D.: J\u2019ai dans avec machine ou comment repenser les rapports entre l\u2019homme et son environnement. In: JFIADSMA 2002, pp. 147\u2013150. Herms Science (2002)"},{"issue":"1-2","key":"11_CR13","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"K.G. Larsen","year":"1998","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: UPPAAL in a Nutshell. Springer International Journal of Software Tools for Technology Transfer\u00a01(1-2), 134\u2013152 (1998)","journal-title":"Springer International Journal of Software Tools for Technology Transfer"},{"key":"11_CR14","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/BFb0033371","volume-title":"Collective Robotics","author":"M. Occello","year":"1998","unstructured":"Occello, M., Demazeau, Y., Baeijs, C.: Designing Organized Agents for Cooperation with Real-Time Constraints. In: Drogoul, A., Fukuda, T., Tambe, M. (eds.) CRW 1998, vol.\u00a01456, pp. 25\u201337. Springer, Heidelberg (1998)"},{"key":"11_CR15","volume-title":"The Temporal Logic of Reactive and Concurrent Systems: Specification","author":"Z. Manna","year":"1991","unstructured":"Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer, Heidelberg (1991)"},{"key":"11_CR16","unstructured":"Soler, J., Julian, V., Rebollo, M., Carrascosa, C., Botti, V.: Towards a Real-Time Multi-Agent System Architecture. In: COAS, AAMAS 2002 (2002)"},{"key":"11_CR17","volume-title":"Structured Development for Real-Time Systems","author":"P. Ward","year":"1985","unstructured":"Ward, P., Mellor, S.: Structured Development for Real-Time Systems. Prentice-Hall, Englewood Cliffs (1985)"},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"Wolfe, V.F., DiPippo, L.C., Cooper, G., Johnston, R., Kortman, P., Thuraisingham, B.: Real-Time CORBA. IEEE TPDS\u00a011(10) (2000)","DOI":"10.1109\/71.888646"}],"container-title":["Lecture Notes in Computer Science","Formal Approaches to Agent-Based Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30960-4_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T13:45:16Z","timestamp":1558273516000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30960-4_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540244226","9783540309604"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30960-4_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}