{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,14]],"date-time":"2026-02-14T05:13:12Z","timestamp":1771045992317,"version":"3.50.1"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319989372","type":"print"},{"value":"9783319989389","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-98938-9_1","type":"book-chapter","created":{"date-parts":[[2018,8,8]],"date-time":"2018-08-08T11:08:34Z","timestamp":1533726514000},"page":"1-19","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Modelling and Verification for Swarm Robotics"],"prefix":"10.1007","author":[{"given":"Ana","family":"Cavalcanti","sequence":"first","affiliation":[]},{"given":"Alvaro","family":"Miyazawa","sequence":"additional","affiliation":[]},{"given":"Augusto","family":"Sampaio","sequence":"additional","affiliation":[]},{"given":"Wei","family":"Li","sequence":"additional","affiliation":[]},{"given":"Pedro","family":"Ribeiro","sequence":"additional","affiliation":[]},{"given":"Jon","family":"Timmis","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,8,9]]},"reference":[{"key":"1_CR1","unstructured":"Broy, M., Cengarle, M.V., Rumpe, B.: Semantics of UML - towards a system model for UML: the state machine model. Technical report TUM-I0711, Institut f\u00fcr Informatik, Technische Universit\u00e4t M\u00fcnchen, February 2007"},{"issue":"2\u20133","key":"1_CR2","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/s00165-003-0008-3","volume":"15","author":"J Davies","year":"2003","unstructured":"Davies, J., Crichton, C.: Concurrency and refinement in the unified modeling language. Formal Aspects Comput. 15(2\u20133), 118\u2013145 (2003)","journal-title":"Formal Aspects Comput."},{"key":"1_CR3","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/978-3-642-34327-8_16","volume-title":"Simulation, Modeling, and Programming for Autonomous Robots","author":"S Dhouib","year":"2012","unstructured":"Dhouib, S., Kchir, S., Stinckwich, S., Ziadi, T., Ziane, M.: RobotML, a domain-specific language to design, simulate and deploy robotic applications. In: Noda, I., Ando, N., Brugali, D., Kuffner, J.J. (eds.) SIMPAR 2012. LNCS (LNAI), vol. 7628, pp. 149\u2013160. Springer, Heidelberg (2012). \nhttps:\/\/doi.org\/10.1007\/978-3-642-34327-8_16"},{"issue":"11","key":"1_CR4","doi-asserted-by":"publisher","first-page":"1429","DOI":"10.1016\/j.robot.2012.03.003","volume":"60","author":"C Dixon","year":"2012","unstructured":"Dixon, C., Winfield, A.F.T., Fisher, M., Zeng, C.: Towards temporal verification of swarm robotic systems. Robot. Auton. Syst. 60(11), 1429\u20131441 (2012)","journal-title":"Robot. Auton. Syst."},{"key":"1_CR5","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/978-1-4471-1021-7_26","volume-title":"Robotics Research","author":"B Espiau","year":"1996","unstructured":"Espiau, B., Kapellos, K., Jourdan, M.: Formal verification in robotics: why and how? In: Giralt, G., Hirzinger, G. (eds.) Robotics Research, pp. 225\u2013236. Springer, London (1996). \nhttps:\/\/doi.org\/10.1007\/978-1-4471-1021-7_26"},{"key":"1_CR6","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/j.ipl.2017.12.011","volume":"133","author":"MS Conserva Filho","year":"2018","unstructured":"Conserva Filho, M.S., Oliveira, M.V.M., Sampaio, A.C.A., Cavalcanti, A.L.C.: Compositional and local livelock analysis for CSP. Inf. Process. Lett. 133, 21\u201325 (2018)","journal-title":"Inf. Process. Lett."},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"606","DOI":"10.1007\/978-3-642-04425-0_47","volume-title":"Model Driven Engineering Languages and Systems","author":"F Fleurey","year":"2009","unstructured":"Fleurey, F., Solberg, A.: A domain specific modeling language supporting specification, simulation and execution of dynamic adaptive systems. In: Sch\u00fcrr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol. 5795, pp. 606\u2013621. Springer, Heidelberg (2009). \nhttps:\/\/doi.org\/10.1007\/978-3-642-04425-0_47"},{"key":"1_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-319-14806-9_2","volume-title":"Unifying Theories of Programming","author":"S Foster","year":"2015","unstructured":"Foster, S., Zeyda, F., Woodcock, J.: Isabelle\/UTP: a mechanised theory engineering framework. In: Naumann, D. (ed.) UTP 2014. LNCS, vol. 8963, pp. 21\u201341. Springer, Cham (2015). \nhttps:\/\/doi.org\/10.1007\/978-3-319-14806-9_2"},{"key":"1_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/978-3-319-47846-3_24","volume-title":"Formal Methods and Software Engineering","author":"M Foughali","year":"2016","unstructured":"Foughali, M., Berthomieu, B., Dal Zilio, S., Ingrand, F., Mallet, A.: Model checking real-time properties on the functional layer of autonomous robots. In: Ogata, K., Lawford, M., Liu, S. (eds.) ICFEM 2016. LNCS, vol. 10009, pp. 383\u2013399. Springer, Cham (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-319-47846-3_24"},{"key":"1_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/978-3-642-54862-8_13","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T Gibson-Robinson","year":"2014","unstructured":"Gibson-Robinson, T., Armstrong, P., Boulgakov, A., Roscoe, A.W.: FDR3\u2014a modern refinement checker for CSP. In: \u00c1brah\u00e1m, E., Havelund, K. (eds.) TACAS 2014. LNCS, vol. 8413, pp. 187\u2013201. Springer, Heidelberg (2014). \nhttps:\/\/doi.org\/10.1007\/978-3-642-54862-8_13"},{"key":"1_CR11","unstructured":"Object Management Group. OMG: UML profile for MARTE, v1.0, November 2009. OMG Document Number: formal\/(2009\u201311-02)"},{"key":"1_CR12","unstructured":"Object Management Group. OMG Unified Modeling Language (OMG UML), Superstructure, Version 2.4.1, August 2011"},{"key":"1_CR13","volume-title":"Unifying Theories of Programming","author":"CAR Hoare","year":"1998","unstructured":"Hoare, C.A.R., Jifeng, H.: Unifying Theories of Programming. Prentice-Hall, Upper Saddle River (1998)"},{"key":"1_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1007\/3-540-47884-1_2","volume-title":"Integrated Formal Methods","author":"S Kuske","year":"2002","unstructured":"Kuske, S., Gogolla, M., Kollmann, R., Kreowski, H.-J.: An integrated semantics for UML class, object and state diagrams based on graph transformation. In: Butler, M., Petre, L., Sere, K. (eds.) IFM 2002. LNCS, vol. 2335, pp. 11\u201328. Springer, Heidelberg (2002). \nhttps:\/\/doi.org\/10.1007\/3-540-47884-1_2"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Miyazawa, A., Ribeiro, P., Li, W., Cavalcanti, A.L.C., Timmis, J.: Automatic property checking of robotic applications. In: IEEE\/RSJ International Conference on Intelligent Robots and Systems, pp. 3869\u20133876 (2017)","DOI":"10.1109\/IROS.2017.8206238"},{"issue":"1","key":"1_CR16","first-page":"75","volume":"7","author":"A Nordmann","year":"2016","unstructured":"Nordmann, A., Hochgeschwender, N., Wigand, D., Wrede, S.: A survey on domain-specific modeling and languages in robotics. J. Softw. Eng. Robot. 7(1), 75\u201399 (2016)","journal-title":"J. Softw. Eng. Robot."},{"key":"1_CR17","unstructured":"OMG: OMG systems modeling language (OMG SysML), Version 1.3 (2012)"},{"key":"1_CR18","first-page":"1","volume":"15","author":"E Posse","year":"2014","unstructured":"Posse, E., Dingel, J.: An executable formal semantics for UML-RT. Softw. Syst. Model. 15, 1\u201339 (2014)","journal-title":"Softw. Syst. Model."},{"key":"1_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/978-3-540-39958-2_16","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"H Rasch","year":"2003","unstructured":"Rasch, H., Wehrheim, H.: Checking consistency in UML diagrams: classes and state machines. In: Najm, E., Nestmann, U., Stevens, P. (eds.) FMOODS 2003. LNCS, vol. 2884, pp. 229\u2013243. Springer, Heidelberg (2003). \nhttps:\/\/doi.org\/10.1007\/978-3-540-39958-2_16"},{"key":"1_CR20","series-title":"Prentice-Hall Series in Computer Science","volume-title":"The Theory and Practice of Concurrency","author":"AW Roscoe","year":"1998","unstructured":"Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice-Hall Series in Computer Science. Prentice-Hall, Upper Saddle River (1998)"},{"key":"1_CR21","unstructured":"Schlegel, C., Hassler, T., Lotz, A., Steck, A.: Robotic software systems: from code-driven to model-driven designs. In: 14th International Conference on Advanced Robotics, pp. 1\u20138. IEEE (2009)"},{"key":"1_CR22","unstructured":"University of York: RoboChart Reference Manual. \nwww.cs.york.ac.uk\/circus\/RoboCalc\/robotool\/"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-98938-9_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,8,8]],"date-time":"2018-08-08T11:08:59Z","timestamp":1533726539000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-98938-9_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319989372","9783319989389"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-98938-9_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]}}}