{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T12:41:23Z","timestamp":1742992883339,"version":"3.40.3"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319708478"},{"type":"electronic","value":"9783319708485"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-70848-5_1","type":"book-chapter","created":{"date-parts":[[2017,11,10]],"date-time":"2017-11-10T10:43:26Z","timestamp":1510310606000},"page":"3-6","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Formal Methods for Robotics: RoboChart, RoboSim, and More"],"prefix":"10.1007","author":[{"given":"Ana","family":"Cavalcanti","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,11,11]]},"reference":[{"issue":"12","key":"1_CR1","doi-asserted-by":"crossref","first-page":"1563","DOI":"10.1016\/j.robot.2012.09.005","volume":"60","author":"T Abdellatif","year":"2012","unstructured":"Abdellatif, T., Bensalem, S., Combaz, J., de Silva, L., Ingrand, F.: Rigorous design of robot software: a formal component-based approach. Robot. Auton. Syst. 60(12), 1563\u20131578 (2012)","journal-title":"Robot. Auton. Syst."},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Brunner, S.G., Steinmetz, F., Belder, R., Domel, A.: Rafcon: a graphical tool for engineering complex, robotic tasks. In: IEEE\/RSJ International Conference on Intelligent Robots and Systems, pp. 3283\u20133290 (2016)","DOI":"10.1109\/IROS.2016.7759506"},{"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). https:\/\/doi.org\/10.1007\/978-3-642-34327-8_16"},{"key":"1_CR4","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). https:\/\/doi.org\/10.1007\/978-3-642-04425-0_47"},{"key":"1_CR5","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). https:\/\/doi.org\/10.1007\/978-3-319-47846-3_24"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Gibson-Robinson, T., Armstrong, P., Boulgakov, A., Roscoe, A.W.: FDR3 - a modern refinement checker for CSP. In: Tools and Algorithms for the Construction and Analysis of Systems, pp. 187\u2013201 (2014)","DOI":"10.1007\/978-3-642-54862-8_13"},{"issue":"11","key":"1_CR7","doi-asserted-by":"crossref","first-page":"1227","DOI":"10.1080\/002077299291697","volume":"30","author":"K Kapellos","year":"1999","unstructured":"Kapellos, K., Simon, D., Jourdant, M., Espiau, B.: Task level specification and formal verification of robotics control systems: State of the art and case study. Int. J. Syst. Sci. 30(11), 1227\u20131245 (1999)","journal-title":"Int. J. Syst. Sci."},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Miyazawa, A., Ribeiro, P., Li, W., Cavalcanti, A.L.C., Timmis, J.: Automatic property checking of robotic applications. In: The International Conference on Intelligent Robots and Systems (2017)","DOI":"10.1109\/IROS.2017.8206238"},{"issue":"1","key":"1_CR9","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_CR10","doi-asserted-by":"crossref","unstructured":"Pembeci, I., Nilsson, H., Hager, G.: Functional reactive robotics: an exercise in principled integration of domain-specific languages. In: 4th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming, pp. 168\u2013179. ACM (2002)","DOI":"10.1145\/571157.571174"},{"key":"1_CR11","series-title":"Texts in Computer Science","volume-title":"Understanding Concurrent Systems","author":"AW Roscoe","year":"2011","unstructured":"Roscoe, A.W.: Understanding Concurrent Systems. Texts in Computer Science. Springer, London (2011)"},{"key":"1_CR12","doi-asserted-by":"crossref","first-page":"33","DOI":"10.3389\/frobt.2016.00033","volume":"3","author":"M Wachter","year":"2016","unstructured":"Wachter, M., Ottenhaus, S., Krohnert, M., Vahrenkamp, N., Asfour, T.: The armarx statechart concept: graphical programing of robot behavior. Front. Robot. AI 3, 33 (2016)","journal-title":"Front. Robot. AI"},{"issue":"4","key":"1_CR13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1592434.1592436","volume":"41","author":"JCP Woodcock","year":"2009","unstructured":"Woodcock, J.C.P., Larsen, P.G., Bicarregui, J., Fitzgerald, J.S.: Formal methods: practice and experience. ACM Comput. Surv. 41(4), 1\u201336 (2009)","journal-title":"ACM Comput. Surv."}],"container-title":["Lecture Notes in Computer Science","Formal Methods: Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-70848-5_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,5]],"date-time":"2019-10-05T20:36:29Z","timestamp":1570307789000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-70848-5_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319708478","9783319708485"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-70848-5_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}