{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,21]],"date-time":"2026-03-21T14:25:15Z","timestamp":1774103115076,"version":"3.50.1"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319118994","type":"print"},{"value":"9783319119007","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11900-7_16","type":"book-chapter","created":{"date-parts":[[2014,9,19]],"date-time":"2014-09-19T10:38:44Z","timestamp":1411123124000},"page":"182-194","source":"Crossref","is-referenced-by-count":13,"title":["High Performance Relaying of C++11 Objects across Processes and Logic-Labeled Finite-State Machines"],"prefix":"10.1007","author":[{"given":"Vlad","family":"Estivill-Castro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ren\u00e9","family":"Hexel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carl","family":"Lusty","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","first-page":"45","volume-title":"Robotic Soccer, ch.3","author":"D. Billington","year":"2007","unstructured":"Billington, D., Estivill-Castro, V., Hexel, R., Rock, A.: Non-monotonic reasoning on board a sony AIBO. In: Lima, P. (ed.) Robotic Soccer, ch.3, pp. 45\u201370. I-Tech Education and Publishing, Austria (2007)"},{"key":"16_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/978-3-642-02319-4_18","volume-title":"Hybrid Artificial Intelligence Systems","author":"D. Billington","year":"2009","unstructured":"Billington, D., Estivill-Castro, V., Hexel, R., Rock, A.: Architecture for hybrid robotic behavior. In: Corchado, E., Wu, X., Oja, E., Herrero, \u00c1., Baruque, B. (eds.) HAIS 2009. LNCS, vol.\u00a05572, pp. 145\u2013156. Springer, Heidelberg (2009)"},{"issue":"4","key":"16_CR3","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1109\/MRA.2010.938836","volume":"17","author":"J. Bohren","year":"2010","unstructured":"Bohren, J., Cousins, S.: The SMACH high-level executive [ROS News]. IEEE Robotics & Automation Magazine\u00a017(4), 18\u201320 (2010)","journal-title":"IEEE Robotics & Automation Magazine"},{"key":"16_CR4","unstructured":"Brooks, R.A.: Intelligence without reason. In: 12th ICJAI 1991, Sydney, pp. 569\u2013595 (1991)"},{"key":"16_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/978-3-642-34327-8_8","volume-title":"Simulation, Modeling, and Programming for Autonomous Robots","author":"R. Coleman","year":"2012","unstructured":"Coleman, R., Estivill-Castro, V., Hexel, R., Lusty, C.: Visual-trace simulation of concurrent finite-state machines for validation and model-checking of complex behaviour. In: Noda, I., Ando, N., Brugali, D., Kuffner, J.J. (eds.) SIMPAR 2012. LNCS, vol.\u00a07628, pp. 52\u201364. Springer, Heidelberg (2012)"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Einhorn, E., Langner, T., Stricker, R., Martin, C., Gross, H.-M.: MIRA - middleware for robotic applications. In: 2012 IEEE\/RSJ IROS, Portugal, pp. 2591\u20132598 (2012)","DOI":"10.1109\/IROS.2012.6385959"},{"key":"16_CR7","unstructured":"Erickson, J., Siau, K.: Can UML be simplified? practitioner use of UML in separate domains. In: 12th EMMSAD 2007, vol.\u00a0365, pp. 87\u201396. CEUR (2007)"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Estivill-Castro, V., Ferrer-Mesters, J.: Path-finding in dynamic environemnts with PDDL-planners. In: 16th Int. Conf. Advanced Robotics (ICAR), Montevideo (2013)","DOI":"10.1109\/ICAR.2013.6766456"},{"key":"16_CR9","first-page":"182","volume-title":"Int. Conf. on Model-Driven Engineering and Software Development MODELSWARD","author":"V. Estivill-Castro","year":"2013","unstructured":"Estivill-Castro, V., Hexel, R.: Arrangements of finite-state machines semantics, simulation, and model checking. In: Int. Conf. on Model-Driven Engineering and Software Development MODELSWARD, pp. 182\u2013189. SCITEPRESS, Barceloan (2013)"},{"key":"16_CR10","first-page":"218","volume-title":"8th ENASE Evaluation of Novel Approaches to Software Engineering","author":"V. Estivill-Castro","year":"2013","unstructured":"Estivill-Castro, V., Hexel, R.: Module isolation for efficient model checking and its application to FMEA in model-driven engineering. In: 8th ENASE Evaluation of Novel Approaches to Software Engineering, pp. 218\u2013225. INSTCC, Angers (2013)"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Estivill-Castro, V., Hexel, R.: Correctness by construction with logic-labeled finite-state machines \u2013 comparison with Event-B. In: 23rd Australasian Software Engineering Conf., Sydney. IEEE Computer Soc. CPS (2014)","DOI":"10.1109\/ASWEC.2014.20"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"Estivill-Castro, V., Hexel, R., Rosenblueth, D.A.: Efficient modelling of embedded software systems and their formal verification. In: 19th Asia-Pacific Software Engineering Conf (APSEC 2012), pp. 428\u2013433. IEEE Computer Soc., CPS (2012)","DOI":"10.1109\/APSEC.2012.21"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"Estivill-Castro, V., Hexel, R., Rosenblueth, D.A.: Failure mode and effects analysis (FMEA) and model-checking of software for embedded systems by sequential scheduling of vectors of logic-labelled finite-state machines. In: 7th Int. IET System Safety Conf., Edinburgh, UK, Paper\u00a03.a.1 (2012)","DOI":"10.1049\/cp.2012.1510"},{"issue":"12","key":"16_CR14","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1109\/MC.2013.434","volume":"46","author":"L. Garber","year":"2013","unstructured":"Garber, L.: Robot OS: A new day for robot design. Computer\u00a046(12), 16\u201320 (2013)","journal-title":"Computer"},{"issue":"11","key":"16_CR15","doi-asserted-by":"publisher","first-page":"1233","DOI":"10.1002\/spe.1039","volume":"41","author":"L. Grunske","year":"2011","unstructured":"Grunske, L., Winter, K., Yatapanage, N., Zafar, S., Lindsay, P.A.: Experience with fault injection experiments for FMEA. Software, Practice and Experience\u00a041(11), 1233\u20131258 (2011)","journal-title":"Software, Practice and Experience"},{"issue":"4","key":"16_CR16","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1145\/235321.235322","volume":"5","author":"D. Harel","year":"1996","unstructured":"Harel, D., Naamad, A.: The STATEMATE semantics of statecharts. ACM T. on Software Engineering Methodology\u00a05(4), 293\u2013333 (1996)","journal-title":"ACM T. on Software Engineering Methodology"},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"Hayes-Roth, B.: A blackboard architecture for control. In: Distributed Artificial Intelligence, San Francisco, pp. 505\u2013540 (1988)","DOI":"10.1016\/B978-0-934613-63-7.50052-8"},{"key":"16_CR18","unstructured":"Klotzbuecher, M.: rFSM v1.0-beta6, http:\/\/www.orocos.org\/rfsm"},{"issue":"11","key":"16_CR19","first-page":"1325","volume":"76","author":"H. Kopetz","year":"1993","unstructured":"Kopetz, H.: Should responsive systems be event-triggered or time-triggered? IEICE Transactions on Information and Systems\u00a076(11), 1325 (1993)","journal-title":"IEICE Transactions on Information and Systems"},{"issue":"1","key":"16_CR20","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1109\/JPROC.2002.805821","volume":"91","author":"H. Kopetz","year":"2003","unstructured":"Kopetz, H., Bauer, G.: The time-triggered architecture. Proc. of the IEEE\u00a091(1), 112\u2013126 (2003)","journal-title":"Proc. of the IEEE"},{"key":"16_CR21","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1145\/2993.2994","volume":"6","author":"L. Lamport","year":"1984","unstructured":"Lamport, L.: Using time instead of timeout for fault-tolerant distributed systems. ACM Transactions on Programming Languages and Systems\u00a06, 254\u2013280 (1984)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"16_CR22","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","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 (LNAI), vol.\u00a03020, pp. 114\u2013124. Springer, Heidelberg (2004)"},{"key":"16_CR23","unstructured":"Mataric, M.J.: The Robotics Primer. MIT Press (2007)"},{"key":"16_CR24","volume-title":"Executable UML: A foundation for model-driven architecture","author":"S.J. Mellor","year":"2002","unstructured":"Mellor, S.J., Balcer, M.: Executable UML: A foundation for model-driven architecture. Addison-Wesley, Reading (2002)"},{"key":"16_CR25","doi-asserted-by":"crossref","unstructured":"Merz, T., Rudol, P., Wzorek, M.: Control system framework for autonomous robots based on extended state machines. In: ICAS 2006, Silicon Valley, vol.\u00a014 (2006)","DOI":"10.1109\/ICAS.2006.19"},{"issue":"1","key":"16_CR26","first-page":"39","volume":"1","author":"O. Michel","year":"2004","unstructured":"Michel, O.: Webots: Professional mobile robot simulation. J. Advanced Robotics Systems\u00a01(1), 39\u201342 (2004)","journal-title":"J. Advanced Robotics Systems"},{"key":"16_CR27","unstructured":"Reggio, G., Leotta, M., Ricca, F., Clerissi, D.: What are the used UML diagrams? a preliminary survey Technical report, Universit\u00e1 di Genova, Italy (DIBRIS) (1998)"},{"key":"16_CR28","unstructured":"Risler, M., von Stryk, O.: Formal behavior specification of multi-robot systems using hierarchical state machines in XABSL. In: AAMAS 2008-Workshop on Formal Models and Methods for Multi-Robot Systems, Estoril (2008)"},{"key":"16_CR29","doi-asserted-by":"crossref","unstructured":"Samek, M.: Practical UML Statecharts in C\/C++, 2nd Edition: Event-Driven Programming for Embedded Systems. Newnes (2008)","DOI":"10.1201\/b16463"},{"key":"16_CR30","doi-asserted-by":"publisher","DOI":"10.1201\/9781420013641","volume-title":"Modeling Software with Finite State Machines: A Practical Approach","author":"F. Wagner","year":"2006","unstructured":"Wagner, F., Schmuki, R., Wagner, T., Wolstenholme, P.: Modeling Software with Finite State Machines: A Practical Approach. CRC Press, NY (2006)"}],"container-title":["Lecture Notes in Computer Science","Simulation, Modeling, and Programming for Autonomous Robots"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11900-7_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,15]],"date-time":"2019-08-15T01:29:38Z","timestamp":1565832578000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-11900-7_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319118994","9783319119007"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11900-7_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}