{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,5]],"date-time":"2025-07-05T17:10:09Z","timestamp":1751735409788,"version":"3.41.0"},"publisher-location":"Cham","reference-count":58,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319947631"},{"type":"electronic","value":"9783319947648"}],"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-94764-8_6","type":"book-chapter","created":{"date-parts":[[2018,7,7]],"date-time":"2018-07-07T13:03:35Z","timestamp":1530968615000},"page":"119-144","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Deterministic High-Level Executable Models Allowing Efficient Runtime Verification"],"prefix":"10.1007","author":[{"given":"Vladimir","family":"Estivill-Castro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ren\u00e9","family":"Hexel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,7,8]]},"reference":[{"key":"6_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881","volume-title":"Modeling in Event-B \u2013 System and Software Engineering","author":"JR Abrial","year":"2010","unstructured":"Abrial, J.R.: Modeling in Event-B \u2013 System and Software Engineering. Cambridge University Press, Cambridge (2010)"},{"key":"6_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1007\/BFb0031988","volume-title":"Real-Time: Theory in Practice","author":"R Alur","year":"1992","unstructured":"Alur, R., Henzinger, T.A.: Logics and models of real time: a survey. In: de Bakker, J.W., Huizing, C., de Roever, W.P., Rozenberg, G. (eds.) REX 1991. LNCS, vol. 600, pp. 74\u2013106. Springer, Heidelberg (1992). https:\/\/doi.org\/10.1007\/BFb0031988"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Arney, D., Fischmeister, S., Lee, I., Takashima, Y., Yim, M.: Model-based programming of modular robots. In: 13th IEEE International Symposium on Object\/Component\/Service-Oriented Real-Time Distributed Computing, pp. 66\u201374, May 2010","DOI":"10.1109\/ISORC.2010.16"},{"issue":"2","key":"6_CR4","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1145\/506147.506151","volume":"49","author":"E Asarin","year":"2002","unstructured":"Asarin, E., Caspi, P., Maler, O.: Timed regular expressions. J. ACM 49(2), 172\u2013206 (2002)","journal-title":"J. ACM"},{"key":"6_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/978-3-642-32759-9_9","volume-title":"FM 2012: Formal Methods","author":"H Barringer","year":"2012","unstructured":"Barringer, H., Falcone, Y., Havelund, K., Reger, G., Rydeheard, D.: Quantified event automata: towards expressive and efficient runtime monitors. In: Giannakopoulou, D., M\u00e9ry, D. (eds.) FM 2012. LNCS, vol. 7436, pp. 68\u201384. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-32759-9_9"},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/3-540-58468-4_163","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"M Beeck von der","year":"1994","unstructured":"von der Beeck, M.: A comparison of statecharts variants. In: Langmaack, H., de Roever, W.-P., Vytopil, J. (eds.) FTRTFT 1994. LNCS, vol. 863, pp. 128\u2013148. Springer, Heidelberg (1994). https:\/\/doi.org\/10.1007\/3-540-58468-4_163"},{"key":"6_CR7","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-642-23391-3_9","volume-title":"Evaluation of Novel Approaches to Software Engineering","author":"D Billington","year":"2011","unstructured":"Billington, D., Estivill-Castro, V., Hexel, R., Rock, A.: Requirements engineering via non-monotonic logics and state diagrams. In: Maciaszek, L.A., Loucopoulos, P. (eds.) ENASE 2010. CCIS, vol. 230, pp. 121\u2013135. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-23391-3_9"},{"issue":"1","key":"6_CR8","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1109\/JRA.1986.1087032","volume":"2","author":"R Brooks","year":"1986","unstructured":"Brooks, R.: A robust layered control system for a mobile robot. IEEE J. Robot. Autom. 2(1), 14\u201323 (1986)","journal-title":"IEEE J. Robot. Autom."},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Brooks, R.: The behavior language; user\u2019s guide. Technical report, AIM-1227, Massachusetts Institute of Technology - MIT, Artificial Intelligence Lab Publications, Department of Electronics and Computer Science (1990)","DOI":"10.21236\/ADA225808"},{"issue":"2","key":"6_CR10","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1109\/MC.2014.45","volume":"47","author":"R Bryce","year":"2014","unstructured":"Bryce, R., Kuhn, R.: Software testing [guest editors\u2019 introduction]. Computer 47(2), 21\u201322 (2014)","journal-title":"Computer"},{"issue":"2","key":"6_CR11","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1016\/S1571-0661(04)81045-4","volume":"89","author":"F Chen","year":"2003","unstructured":"Chen, F., Ro\u015fu, G.: Towards monitoring-oriented programming: a paradigm combining specification and implementation. Electr. Notes Theor. Comput. Sci. 89(2), 108\u2013127 (2003)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"6_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/978-3-642-03240-0_13","volume-title":"Formal Methods for Industrial Critical Systems","author":"C Colombo","year":"2009","unstructured":"Colombo, C., Pace, G.J., Schneider, G.: Dynamic event-based runtime monitoring of real-time and contextual properties. In: Cofer, D., Fantechi, A. (eds.) FMICS 2008. LNCS, vol. 5596, pp. 135\u2013149. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-03240-0_13"},{"issue":"1","key":"6_CR13","first-page":"055","volume":"3","author":"C C\u00f4t\u00e9","year":"2006","unstructured":"C\u00f4t\u00e9, C., Brosseau, Y., L\u00e9tourneau, D., Ra\u00efevsky, C., Michaud, F.: Robotic software integration using MARIE. Int. J. Adv. Rob. Syst. 3(1), 055\u2013060 (2006)","journal-title":"Int. J. Adv. Rob. Syst."},{"issue":"12","key":"6_CR14","doi-asserted-by":"publisher","first-page":"859","DOI":"10.1109\/TSE.2004.91","volume":"30","author":"N Delgado","year":"2004","unstructured":"Delgado, N., Gates, A.Q., Roach, S.: A taxonomy and catalog of runtime software-fault monitoring tools. IEEE Trans. Softw. Eng. 30(12), 859\u2013872 (2004)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"10","key":"6_CR15","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1145\/2770869","volume":"58","author":"TG Dietterich","year":"2015","unstructured":"Dietterich, T.G., Horvitz, E.J.: Rise of concerns about AI: reflections and directions. Commun. ACM 58(10), 38\u201340 (2015)","journal-title":"Commun. ACM"},{"issue":"3","key":"6_CR16","doi-asserted-by":"publisher","first-page":"563","DOI":"10.1007\/s00165-012-0272-1","volume":"26","author":"B Dongol","year":"2014","unstructured":"Dongol, B., Hayes, I.H., Robinson, P.J.: Reasoning about goal-directed real-time teleo-reactive programs. Formal Asp. Comput. 26(3), 563\u2013589 (2014)","journal-title":"Formal Asp. Comput."},{"key":"6_CR17","first-page":"3","volume":"4Q05","author":"RG Dromey","year":"2005","unstructured":"Dromey, R.G., Powell, D.: Early requirements defect detection. TickIT J. 4Q05, 3\u201313 (2005)","journal-title":"TickIT J."},{"key":"6_CR18","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.entcs.2004.01.025","volume":"113","author":"D Drusinsky","year":"2005","unstructured":"Drusinsky, D.: Semantics and runtime monitoring of tlcharts: statechart automata with temporal logic conditioned transitions. Electr. Notes Theor. Comput. Sci. 113, 3\u201321 (2005)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Estivill-Castro, V., Ferrer-Mesters, J.: Path-finding in dynamic environments with PDDL-planners. In: 16th International Conference on Advanced Robotics (ICAR), Montevideo, Uruguay, pp. 1\u20137 (2013)","DOI":"10.1109\/ICAR.2013.6766456"},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Estivill-Castro, V., Hexel, R.: Arrangements of finite-state machines semantics, simulation, and model checking. In: Hammoudi, S., Ferreira Pires, L., Filipe, J., C\u00e9sar das Neves, R. (eds.) International Conference on Model-Driven Engineering and Software Development MODELSWARD, Barcelona, Spain, 19\u201321 February 2013, pp. 182\u2013189. SCITEPRESS Science and Technology Publications (2013)","DOI":"10.5220\/0004317101820189"},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"Estivill-Castro, V., Hexel, R.: Module isolation for efficient model checking and its application to FMEA in model-driven engineering. In: ENASE 8th International Conference on Evaluation of Novel Approaches to Software Engineering, Angers Loire Valley, France, 4th\u20136th July 2013, pp. 218\u2013225. INSTCC (2013)","DOI":"10.5220\/0004557502180225"},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"Estivill-Castro, V., Hexel, R.: Simple, not simplistic \u2013 the middleware of behaviour models. In: ENASE 10 International Conference on Evaluation of Novel Approaches to Software Engineering, Barcelona, Spain. INSTCC, April 2015","DOI":"10.5220\/0005371101890196"},{"key":"6_CR23","doi-asserted-by":"crossref","unstructured":"Estivill-Castro, V., Hexel, R.: Deterministic executable models verified efficiently at runtime - an architecture for robotic and embedded systems. In: Ferreira Pires, L., Hammoudi, S., Selic, B. (eds.) Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2017, 19th\u201321st February 2017, pp. 29\u201340. SciTePress (2017)","DOI":"10.5220\/0006116700290040"},{"key":"6_CR24","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/978-3-319-11900-7_16","volume-title":"Simulation, Modeling, and Programming for Autonomous Robots","author":"V Estivill-Castro","year":"2014","unstructured":"Estivill-Castro, V., Hexel, R., Lusty, C.: High performance relaying of C++ objects across processes and logic-labeled finite-state machines. In: Brugali, D., Broenink, J.F., Kroeger, T., MacDonald, B.A. (eds.) SIMPAR 2014. LNCS (LNAI), vol. 8810, pp. 182\u2013194. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-11900-7_16"},{"key":"6_CR25","doi-asserted-by":"crossref","unstructured":"Estivill-Castro, V., Hexel, R., Ram\u00edrez Regalado, A.: Architecture for logic programing with arrangements of finite-state machines. In: Cheng, A.M.K. (ed.) First Workshop on Declarative Cyber-Physical Systems (DCPS) at Cyber-Physical Systems, pp. 1\u20138. IEEE, 12 April 2016","DOI":"10.1109\/DCPS.2016.7588297"},{"key":"6_CR26","doi-asserted-by":"crossref","unstructured":"Estivill-Castro, V., Hexel, R., Rosenblueth, D.A.: Efficient modelling of embedded software systems and their formal verification. In: Leung, K.R., Muenchaisri, P. (eds.) The 19th Asia-Pacific Software Engineering Conference (APSEC), Hong Kong, pp. 428\u2013433. IEEE Computer Society, December 2012","DOI":"10.1109\/APSEC.2012.21"},{"key":"6_CR27","doi-asserted-by":"crossref","unstructured":"Estivill-Castro, V., Hexel, R., Stover, J.: Modeling, validation, and continuous integration of software behaviours for embedded systems. In: Al-Dabass, D., Romero, G., Orsoni, A., Pantelous, A. (eds.) 9th IEEE European Modelling Symposium, Madrid, Spain, 6th\u20138th October 2015, pp. 89\u201395 (2015)","DOI":"10.1109\/EMS.2015.24"},{"key":"6_CR28","doi-asserted-by":"publisher","unstructured":"Estivill-Castro, V., Hexel, R., Stover, J.: Models testing models in continuous integration of model-driven development. In: Cheng, A.M.K. (ed.) Proceedings of the IASTED International Symposium Software Engineering and Applications (SEA 2015), Marina del Rey, USA, 26th\u201327th October 2015. https:\/\/doi.org\/10.2316\/P.2015.829-016","DOI":"10.2316\/P.2015.829-016"},{"key":"6_CR29","doi-asserted-by":"crossref","unstructured":"Harel, D., Gery, E.: Executable object modeling with statecharts. In: Proceedings of the 18th International Conference on Software Engineering, ICSE 1996, Washington, DC, USA, pp. 246\u2013257. IEEE Computer Society (1996)","DOI":"10.1109\/ICSE.1996.493420"},{"key":"6_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/10722468_15","volume-title":"SPIN Model Checking and Software Verification","author":"K Havelund","year":"2000","unstructured":"Havelund, K.: Using runtime analysis to guide model checking of Java programs. In: Havelund, K., Penix, J., Visser, W. (eds.) SPIN 2000. LNCS, vol. 1885, pp. 245\u2013264. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/10722468_15"},{"key":"6_CR31","doi-asserted-by":"crossref","unstructured":"Hayes, I.J.: Towards reasoning about teleo-reactive programs for robust real-time systems. In: Guelfi, N., et al. (eds.) SERENE 2008, RISE\/EFTS Joint International Workshop on Software Engineering for REsilient SystEms, Newcastle Upon Tyne, UK, 17\u201319 November 2008, pp. 87\u201394. ACM (2008)","DOI":"10.1145\/1479772.1479789"},{"key":"6_CR32","doi-asserted-by":"crossref","first-page":"505","DOI":"10.1016\/B978-0-934613-63-7.50052-8","volume-title":"Distributed Artificial Intelligence","author":"B Hayes-Roth","year":"1988","unstructured":"Hayes-Roth, B.: A blackboard architecture for control. In: Bond, A.H., Gasser, L. (eds.) Distributed Artificial Intelligence, pp. 505\u2013540. Morgan Kaufmann Publishers Inc., San Francisco (1988)"},{"key":"6_CR33","doi-asserted-by":"crossref","unstructured":"He, K., Lahijanian, M., Kavraki, L.E., Vardi, M.Y.: Towards manipulation planning with temporal logic specifications. In: 2015 IEEE International Conference on Robotics and Automation (ICRA), pp. 346\u2013352, May 2015","DOI":"10.1109\/ICRA.2015.7139022"},{"issue":"8","key":"6_CR34","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"CAR Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating sequential processes. Commun. ACM 21(8), 666\u2013677 (1978)","journal-title":"Commun. ACM"},{"key":"6_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/978-3-319-11164-3_20","volume-title":"Runtime Verification","author":"J Huang","year":"2014","unstructured":"Huang, J., Erdogan, C., Zhang, Y., Moore, B., Luo, Q., Sundaresan, A., Rosu, G.: ROSRV: runtime verification for robots. In: Bonakdarpour, B., Smolka, S.A. (eds.) RV 2014. LNCS, vol. 8734, pp. 247\u2013254. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-11164-3_20"},{"key":"6_CR36","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1016\/j.ress.2005.11.060","volume":"92","author":"F Iwu","year":"2007","unstructured":"Iwu, F., Galloway, A., McDermid, J., Toyn, I.: Integrating safety and formal analyses using UML and PFS. Reliab. Eng. Syst. Saf. 92, 156\u2013170 (2007)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"6_CR37","series-title":"Advances in Intelligent Systems and Computing","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/978-3-319-31293-4_16","volume-title":"Robot Intelligence Technology and Applications 4","author":"D Joukoff","year":"2017","unstructured":"Joukoff, D., Estivill-Castro, V., Hexel, R., Lusty, C.: Fast MAV control by control\/status OO-messages on shared-memory middleware. In: Kim, J.-H., Karray, F., Jo, J., Sincak, P., Myung, H. (eds.) Robot Intelligence Technology and Applications 4. AISC, vol. 447, pp. 195\u2013211. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-31293-4_16"},{"key":"6_CR38","unstructured":"Kim, M., Viswanathan, M., Ben-Abdallah, H., Kannan, S., Lee, I., Sokolsky, O.: Formally specified monitoring of temporal properties. In: Proceedings of the 11th Euromicro Conference on Real-Time Systems, pp. 114\u2013122 (1999)"},{"issue":"11","key":"6_CR39","first-page":"1325","volume":"76","author":"H Kopetz","year":"1993","unstructured":"Kopetz, H.: Should responsive systems be event-triggered or time-triggered? IEICE Trans. Inf. Syst. 76(11), 1325 (1993)","journal-title":"IEICE Trans. Inf. Syst."},{"key":"6_CR40","series-title":"Real-Time Systems Series","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-8237-7","volume-title":"Real-Time Systems - Design Principles for Distributed Embedded Applications","author":"H Kopetz","year":"2011","unstructured":"Kopetz, H.: Real-Time Systems - Design Principles for Distributed Embedded Applications. Real-Time Systems Series, 2nd edn. Springer, New York (2011). https:\/\/doi.org\/10.1007\/978-1-4419-8237-7","edition":"2"},{"issue":"3","key":"6_CR41","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1023\/A:1011254632723","volume":"19","author":"O Kupferman","year":"2001","unstructured":"Kupferman, O., Vardi, Y.M.: Model checking of safety properties. Formal Methods Syst. Des. 19(3), 291\u2013314 (2001)","journal-title":"Formal Methods Syst. Des."},{"key":"6_CR42","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 Trans. Progr. Lang. Syst. 6, 254\u2013280 (1984)","journal-title":"ACM Trans. Progr. Lang. Syst."},{"key":"6_CR43","doi-asserted-by":"crossref","unstructured":"Li, J.J., Wong, W.E.: Automatic test generation from communicating extended finite state machine (CEFSM)-based models. In: Proceedings of the Fifth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, (ISORC 2002), pp. 181\u2013185 (2002)","DOI":"10.1109\/ISORC.2002.1003693"},{"key":"6_CR44","volume-title":"Computing with Logic: Logic Programming with Prolog","author":"D Maier","year":"1988","unstructured":"Maier, D., Warren, D.S.: Computing with Logic: Logic Programming with Prolog. Benjamin-Cummings Publishing Co. Inc., Redwood City (1988)"},{"key":"6_CR45","volume-title":"Executable UML: A Foundation for Model-Driven Architecture","author":"SJ Mellor","year":"2002","unstructured":"Mellor, S.J., Balcer, M.: Executable UML: A Foundation for Model-Driven Architecture. Addison-Wesley Publishing Co., Reading (2002)"},{"issue":"B","key":"6_CR46","first-page":"99","volume":"5","author":"NJ Nilsson","year":"2001","unstructured":"Nilsson, N.J.: Teleo-reactive programs and the triple-tower architecture. Electron. Trans. Artif. Intell. 5(B), 99\u2013110 (2001)","journal-title":"Electron. Trans. Artif. Intell."},{"issue":"1","key":"6_CR47","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/j.ress.2004.04.011","volume":"87","author":"Z Pap","year":"2005","unstructured":"Pap, Z., Majzik, I., Pataricza, A., Szegi, A.: Methods of checking general safety criteria in UML statechart specifications. Reliab. Eng. Syst. Saf. 87(1), 89\u2013107 (2005)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"6_CR48","unstructured":"Parr, T.: The Definitive ANTLR 4 Reference. Pragmatic Bookshelf, 2nd edn (2013)"},{"key":"6_CR49","unstructured":"Picek, R., Strahonja, V.: Model driven development-future or failure of software development. In: IIS, vol. 7, pp. 407\u2013413 (2007)"},{"key":"6_CR50","doi-asserted-by":"crossref","unstructured":"Pnueli, A., de Roever, W.P., et al.: Rendezvous with ADA - a proof theoretical view. Vakgroep informatica RUU-CS-82-12, July 1982","DOI":"10.1145\/3304133.3304152"},{"key":"6_CR51","volume-title":"Object-Oriented Modelling and Design","author":"J Rumbaugh","year":"1991","unstructured":"Rumbaugh, J., Blaha, M.R., Lorensen, W., Eddy, F., Premerlani, W.: Object-Oriented Modelling and Design. Prentice-Hall Inc., Englewood Cliffs (1991)"},{"key":"6_CR52","doi-asserted-by":"crossref","DOI":"10.1201\/b16463","volume-title":"Practical UML Statecharts in C\/C++: Event-Driven Programming for Embedded Systems","author":"M Samek","year":"2008","unstructured":"Samek, M.: Practical UML Statecharts in C\/C++: Event-Driven Programming for Embedded Systems, 2nd edn. Newnes, Newton (2008)","edition":"2"},{"issue":"4","key":"6_CR53","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1145\/2667218","volume":"58","author":"J Sametinger","year":"2015","unstructured":"Sametinger, J., Rozenblit, J., Lysecky, R., Ott, P.: Security challenges for medical devices. Commun. ACM 58(4), 74\u201382 (2015)","journal-title":"Commun. ACM"},{"issue":"11","key":"6_CR54","doi-asserted-by":"publisher","first-page":"2504","DOI":"10.1016\/j.jss.2012.05.067","volume":"85","author":"P S\u00e1nchez","year":"2012","unstructured":"S\u00e1nchez, P., Alonso, D., Morales, J.M., Navarro, P.J.: From teleo-reactive specifications to architectural components: a model-driven approach. J. Syst. Softw. 85(11), 2504\u20132518 (2012)","journal-title":"J. Syst. Softw."},{"key":"6_CR55","doi-asserted-by":"crossref","unstructured":"Simons, A.: On the compositional properties of UML statechart diagrams. In: Rigorous Object-Oriented Methods 2000. Electronic Workshops in Computing (eWiC), York, UK, January 2000","DOI":"10.14236\/ewic\/ROOM2000.8"},{"issue":"4","key":"6_CR56","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/s11334-013-0212-0","volume":"9","author":"AN Srivastava","year":"2013","unstructured":"Srivastava, A.N., Schumann, J.: Software health management: a necessity for safety critical systems. Innov. Syst. Softw. Eng. 9(4), 219\u2013233 (2013)","journal-title":"Innov. Syst. Softw. Eng."},{"key":"6_CR57","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1016\/j.entcs.2004.01.029","volume":"113","author":"Prasanna Thati","year":"2005","unstructured":"Thati, P., Ro\u015fu, G.: Monitoring algorithms for metric temporal logic specifications. In: Fourth Workshop on Runtime Verification (RV 2004), vol. 113, pp. 145\u2013162 (2005)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"6_CR58","doi-asserted-by":"crossref","unstructured":"Weiss, M., Eidson, J., Barry, C., Broman, D., Goldin, L., Iannucci, B., Lee, E.A., Stanton, K.: Time-aware applications, computers, and communication systems (TAACCS). Technical report, Technical Note 1867, The National Institute of Standards and Technology (NIST), U.S. Department of Commerce, February 2015","DOI":"10.6028\/NIST.TN.1867"}],"container-title":["Communications in Computer and Information Science","Model-Driven Engineering and Software Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-94764-8_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,5]],"date-time":"2025-07-05T16:52:01Z","timestamp":1751734321000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-94764-8_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319947631","9783319947648"],"references-count":58,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-94764-8_6","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2018]]}}}