{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T16:13:17Z","timestamp":1759335197330,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540354376"},{"type":"electronic","value":"9783540354383"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11780519_65","type":"book-chapter","created":{"date-parts":[[2006,6,24]],"date-time":"2006-06-24T10:20:06Z","timestamp":1151144406000},"page":"648-655","source":"Crossref","is-referenced-by-count":4,"title":["Specifications and Design of Graphical Interface for Hierarchical Finite State Machines"],"prefix":"10.1007","author":[{"given":"Vincent","family":"Hugel","sequence":"first","affiliation":[]},{"given":"Guillaume","family":"Amouroux","sequence":"additional","affiliation":[]},{"given":"Thomas","family":"Costis","sequence":"additional","affiliation":[]},{"given":"Patrick","family":"Bonnin","sequence":"additional","affiliation":[]},{"given":"Pierre","family":"Blazevic","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"65_CR1","unstructured":"Hugel et al.: RoboCup, French team Les Trois Mousquetaires technical report (2004)"},{"key":"65_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/978-3-540-25940-4_10","volume-title":"RoboCup 2003: Robot Soccer World Cup VII","author":"M. L\u00f6tzsch","year":"2004","unstructured":"L\u00f6tzsch, M., Bach, J., Burkhard, H.-D., J\u00fcngel, M.: Designing Agent Behavior with the Extensible Agent Behavior Specification Language XABSL. In: Polani, D., Browning, B., Bonarini, A., Yoshida, K. (eds.) RoboCup 2003. LNCS, vol.\u00a03020, pp. 114\u2013124. Springer, Heidelberg (2004)"},{"key":"65_CR3","unstructured":"R\u00f6fer, et al.: RoboCup, German Team technical report (2004)"},{"key":"65_CR4","unstructured":"Arnold, A.: Syst\u00e8mes de transitions finis et s\u00e9mantique des processus communicants. In: Masson, (ed.) (1992) (in French)"},{"key":"65_CR5","unstructured":"Xu, H.: A model-based approach for development of multi-agent software systems, PhD thesis, Chicago University, Illinois (2003)"},{"key":"65_CR6","unstructured":"Amouroux, G.: Mise en place de strat\u00e9gies coop\u00e9ratives entre plusieurs robots autonomes, Master Degree thesis, Versailles University (2004) (in French)"},{"key":"65_CR7","doi-asserted-by":"crossref","unstructured":"Knublauch, H., Rose, T.: Tool-supported Process Analysis and Design for the Development of Multi-Agent Systems, Research Institute for Applied Knowledge Processing, Germany (2002)","DOI":"10.1007\/3-540-36540-0_15"},{"key":"65_CR8","unstructured":"Bonura, D.: Leonardo Mariani et Emanuela Merelli, Designing Modular Agent Systems, Universita degli Studi di Milano Bicocca via Bicocca degli Arcimboldi, Italy (2003)"},{"key":"65_CR9","unstructured":"Dell\u2019Acqua, P., Nilsson, U., Pereira, L.M.: A Logic-Based Asynchronous Multi-Agent Systems, Universit\u00e9 de Ferrata, Italie (2001)"},{"key":"65_CR10","unstructured":"Fournier, S., Devogele, T., Claramunt, C.: A role-based multi-agent model for concurrent navigation systems. In: Gould, M., et al. (eds.) Proceedings of the 6th AGILE Conference on Geographic Information Science. presse polythechniques et universitaires romandes (2003)"},{"key":"65_CR11","unstructured":"Andr\u00e9, C.: Semantics of SyncCharts, I3S Laboratory, University of Nice-Sophia Antipolis"},{"key":"65_CR12","unstructured":"Matlab toolbox stateflow Coder, \n                    \n                      http:\/\/www.mathworks.com"},{"key":"65_CR13","unstructured":"StateWorks, SW Sotware, \n                    \n                      http:\/\/www.stateworks.com"},{"key":"65_CR14","unstructured":"Visual Case, UML tutorial, \n                    \n                      http:\/\/www.visualcase.com\/tutorials"},{"key":"65_CR15","unstructured":"XML language extensible markup language, \n                    \n                      http:\/\/java.sun.com\/webservices\/docs\/1.0\/tutorial"},{"key":"65_CR16","unstructured":"Other existing softwares, \n                    \n                      http:\/\/www.csd.uwo.ca\/research\/grail\/links.html"}],"container-title":["Lecture Notes in Computer Science","RoboCup 2005: Robot Soccer World Cup IX"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11780519_65","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T13:31:30Z","timestamp":1558272690000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11780519_65"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540354376","9783540354383"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/11780519_65","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}