{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,16]],"date-time":"2025-07-16T13:54:51Z","timestamp":1752674091694,"version":"3.40.3"},"publisher-location":"Cham","reference-count":54,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031388200"},{"type":"electronic","value":"9783031388217"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-38821-7_7","type":"book-chapter","created":{"date-parts":[[2023,8,3]],"date-time":"2023-08-03T15:02:10Z","timestamp":1691074930000},"page":"135-156","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Decomposable and\u00a0Executable Models for\u00a0Verification of\u00a0Real-Time Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9373-0875","authenticated-orcid":false,"given":"Callum","family":"McColl","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7775-0780","authenticated-orcid":false,"given":"Vladimir","family":"Estivill-Castro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4217-7210","authenticated-orcid":false,"given":"Morgan","family":"McColl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9668-849X","authenticated-orcid":false,"given":"Ren\u00e9","family":"Hexel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,8,4]]},"reference":[{"issue":"1","key":"7_CR1","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1006\/inco.1993.1024","volume":"104","author":"R Alur","year":"1993","unstructured":"Alur, R., Courcoubetis, C., Dill, D.: Model-checking in dense real-time. Inf. Comput. 104(1), 2\u201334 (1993). https:\/\/doi.org\/10.1006\/inco.1993.1024","journal-title":"Inf. Comput."},{"key":"7_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1007\/BFb0032042","volume-title":"Automata, Languages and Programming","author":"R Alur","year":"1990","unstructured":"Alur, R., Dill, D.: Automata for modeling real-time systems. In: Paterson, M.S. (ed.) ICALP 1990. LNCS, vol. 443, pp. 322\u2013335. Springer, Heidelberg (1990). https:\/\/doi.org\/10.1007\/BFb0032042"},{"issue":"2","key":"7_CR3","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur, R., Dill, D.: A theory of timed automata. Theoret. Comput. Sci. 126(2), 183\u2013235 (1994). https:\/\/doi.org\/10.1016\/0304-3975(94)90010-8","journal-title":"Theoret. Comput. Sci."},{"key":"7_CR4","doi-asserted-by":"publisher","first-page":"559","DOI":"10.1007\/978-3-540-75209-7_38","volume-title":"Model Driven Engineering Languages and Systems","author":"C Andr\u00e9","year":"2007","unstructured":"Andr\u00e9, C., Mallet, F., de Simone, R.: Modeling time(s). In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) Model Driven Engineering Languages and Systems, pp. 559\u2013573. Springer, Berlin Heidelberg, Berlin, Heidelberg (2007)"},{"key":"7_CR5","unstructured":"Berthomieu, B., et al.: Real-time model checking support for AADL. CoRR abs\/1503.00493 (2015). http:\/\/arxiv.org\/abs\/1503.00493"},{"key":"7_CR6","doi-asserted-by":"publisher","unstructured":"Besnard, V., Brun, M., Jouault, F., Teodorov, C., Dhaussy, P.: Unified LTL verification and embedded execution of UML models. In: Proceedings of the 21th ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems, pp. 112\u2013122. MODELS 2018, ACM, New York (2018). https:\/\/doi.org\/10.1145\/3239372.3239395","DOI":"10.1145\/3239372.3239395"},{"key":"7_CR7","unstructured":"Bhaduri, P., Ramesh, S.: Model checking of statechart models: survey and research directions (2004). http:\/\/arxiv.org\/abs\/cs.SE\/0407038"},{"key":"7_CR8","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"},{"key":"7_CR9","volume-title":"Systems Engineering and Analysis","author":"BS Blanchard","year":"2011","unstructured":"Blanchard, B.S., Fabryck, W.J.: Systems Engineering and Analysis, 5th edn. Prentice Hall, NJ (2011)","edition":"5"},{"key":"7_CR10","doi-asserted-by":"publisher","unstructured":"Bouyer, P., Laroussinie, F.: Model Checking Timed Automata, pp. 111\u2013140. ISTE (2010). https:\/\/doi.org\/10.1002\/9780470611012.ch4","DOI":"10.1002\/9780470611012.ch4"},{"issue":"1","key":"7_CR11","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). https:\/\/doi.org\/10.1109\/JRA.1986.1087032","journal-title":"IEEE J. Robot. Autom."},{"key":"7_CR12","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/978-3-030-67445-8_10","volume-title":"Model-Driven Engineering and Software Development","author":"M Carrillo","year":"2021","unstructured":"Carrillo, M., Estivill-Castro, V., Rosenblueth, D.A.: Verification and simulation of time-domain properties for models of behaviour. In: Hammoudi, S., Pires, L.F., Seli\u0107, B. (eds.) MODELSWARD 2020. CCIS, vol. 1361, pp. 225\u2013249. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-67445-8_10"},{"key":"7_CR13","volume-title":"Architecture and Principles of Systems Engineering","author":"C Dickerson","year":"2010","unstructured":"Dickerson, C., Mavris, D.N.: Architecture and Principles of Systems Engineering. CRC Press, Auerbach Publications, Taylor & Francis Group, Boca Raton, FL (2010)"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Drusinsky, D.: Modeling and verification using UML statecharts - a working guide to reactive system design, runtime monitoring and execution-based model checking. Elsevier (2006)","DOI":"10.1016\/B978-075067949-7\/50004-0"},{"key":"7_CR15","doi-asserted-by":"publisher","unstructured":"Estivill-Castro, V., Hexel, R.: Simple, not simplistic - the middleware of behaviour models. In: Filipe, J., Maciaszek, L.A. (eds.) ENASE 2015 - Proceedings of the 10th International Conference on Evaluation of Novel Approaches to Software Engineering, pp. 189\u2013196. SciTePress (2015). https:\/\/doi.org\/10.5220\/0005371101890196","DOI":"10.5220\/0005371101890196"},{"key":"7_CR16","doi-asserted-by":"publisher","unstructured":"Estivill-Castro, V., Hexel, R.: Verifiable parameterised behaviour models - for robotic and embedded systems. In: Hammoudi, S., Ferreira Pires, S., Selic, B. (eds.) Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, MODELSWARD, pp. 364\u2013371. SciTePress (2018). https:\/\/doi.org\/10.5220\/0006573903640371","DOI":"10.5220\/0006573903640371"},{"key":"7_CR17","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/978-3-030-37873-8_3","volume-title":"Model-Driven Engineering and Software Development","author":"V Estivill-Castro","year":"2020","unstructured":"Estivill-Castro, V., Hexel, R.: The understandability of models for behaviour. In: Hammoudi, S., Pires, L.F., Seli\u0107, B. (eds.) MODELSWARD 2019. CCIS, vol. 1161, pp. 50\u201375. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-37873-8_3"},{"key":"7_CR18","doi-asserted-by":"publisher","unstructured":"Estivill-Castro, V., Hexel, R., Rosenblueth, D.A.: Efficient modelling of embedded software systems and their formal verification. In: 2012 19th Asia-Pacific Software Engineering Conference, vol. 1, pp. 428\u2013433 (2012). https:\/\/doi.org\/10.1109\/APSEC.2012.21","DOI":"10.1109\/APSEC.2012.21"},{"key":"7_CR19","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-3-642-27207-3_8","volume-title":"Software Engineering, Business Continuity, and Education","author":"V Estivill-Castro","year":"2011","unstructured":"Estivill-Castro, V., Rosenblueth, D.A.: Model checking of transition-labeled finite-state machines. In: Kim, T., Adeli, H., Kim, H., Kang, H., Kim, K.J., Kiumi, A., Kang, B.-H. (eds.) ASEA 2011. CCIS, vol. 257, pp. 61\u201373. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-27207-3_8"},{"key":"7_CR20","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/0-387-24590-1_1","volume-title":"Architecture Description Languages","author":"PH Feiler","year":"2005","unstructured":"Feiler, P.H., Lewis, B., Vestal, S., Colbert, E.: An overview of the SAE architecture analysis & design language (AADL) standard: a basis for model-based architecture-driven embedded systems engineering. In: Dissaux, P., Filali-Amine, M., Michel, P., Vernadat, F. (eds.) Architecture Description Languages, pp. 3\u201315. Springer, Boston (2005). https:\/\/doi.org\/10.1007\/0-387-24590-1_1"},{"key":"7_CR21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-658-19938-8","volume-title":"Future-Proof Software-Systems: A Sustainable Evolution Strategy","author":"F Furrer","year":"2019","unstructured":"Furrer, F.: Future-Proof Software-Systems: A Sustainable Evolution Strategy. Springer Vieweg, Berlin (2019)"},{"key":"7_CR22","unstructured":"Guermazi, S., Tatibouet, J., Cuccuru, A., Seidewitz, E., Dhouib, S., G\u00e9rard, S.: Executable modeling with fUML and Alf in Papyrus: Tooling and experiments. In: Mayerhofer, T., Langer, P., Seidewitz, E., Gray, J. (eds.) Proceedings of the 1st International Workshop on Executable Modeling co-located with ACM\/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015). CEUR Workshop Proceedings, vol. 1560, pp. 3\u20138. CEUR-WS.org (2015)"},{"key":"7_CR23","doi-asserted-by":"publisher","unstructured":"Harel, D., Pnueli, A.: On the development of reactive systems. In: Apt, K, R. (ed.) Logics and Models of Concurrent Systems, pp. 477\u2013498. Springer, Berlin Heidelberg (1985). https:\/\/doi.org\/10.1007\/978-3-642-82453-1_17","DOI":"10.1007\/978-3-642-82453-1_17"},{"key":"7_CR24","volume-title":"Modeling Reactive Systems with Statecharts: The STATEMATE Approach","author":"D Harel","year":"1998","unstructured":"Harel, D., Politi, M.: Modeling Reactive Systems with Statecharts: The STATEMATE Approach. McGraw-Hill, New York, NY (1998)"},{"issue":"3","key":"7_CR25","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1093\/nsr\/nwv042","volume":"2","author":"Z Hu","year":"2015","unstructured":"Hu, Z., Hughes, J., Wang, M.: How functional programming mattered. National Science Review 2(3), 349\u2013370 (2015). https:\/\/doi.org\/10.1093\/nsr\/nwv042","journal-title":"National Science Review"},{"key":"7_CR26","unstructured":"ICOSE: Systems engineering vision 2035 - engineering solutions for a better world, Technical Report ISIS-1-98, International Council on Systems Engineering, Department of Electronics and Computer Science (2022)"},{"key":"7_CR27","doi-asserted-by":"crossref","unstructured":"Jin, D., Levy, D.C.: An approach to schedulability analysis of UML-based real-time systems design. In: Proceedings of the 3rd International Workshop on Software and Performance, pp. 243\u2013250. WOSP 2002, Association for Computing Machinery, New York (2002)","DOI":"10.1145\/584369.584409"},{"key":"7_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/3-540-46852-8_25","volume-title":"\u00abUML\u00bb\u201999 \u2014 The Unified Modeling Language","author":"L Kabous","year":"1999","unstructured":"Kabous, L., Nebel, W.: Modeling hard real time systems with UML the OOHARTS approach. In: France, R., Rumpe, B. (eds.) UML 1999. LNCS, vol. 1723, pp. 339\u2013355. Springer, Heidelberg (1999). https:\/\/doi.org\/10.1007\/3-540-46852-8_25"},{"key":"7_CR29","doi-asserted-by":"publisher","unstructured":"Kopetz, H.: The time-triggered model of computation. In: Proceedings 19th IEEE Real-Time Systems Symposium, pp. 168\u2013177 (1998). https:\/\/doi.org\/10.1109\/REAL.1998.739743","DOI":"10.1109\/REAL.1998.739743"},{"key":"7_CR30","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, 2nd edn. Springer Publishing Company, Incorporated (2011)","edition":"2"},{"issue":"1\u20132","key":"7_CR31","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"KG Larsen","year":"1997","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: UPPAAL in a nutshell. Int. J. Softw. Tools Technol. Transfer 1(1\u20132), 134\u2013152 (1997). https:\/\/doi.org\/10.1007\/s100090050010","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"issue":"11","key":"7_CR32","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1109\/MC.2017.4041349","volume":"50","author":"NG Leveson","year":"2017","unstructured":"Leveson, N.G.: The Therac-25: 30 years later. Computer 50(11), 8\u201311 (2017). https:\/\/doi.org\/10.1109\/MC.2017.4041349","journal-title":"Computer"},{"key":"7_CR33","doi-asserted-by":"publisher","unstructured":"McColl, C., Estivill-Castro, V., McColl, M., Hexel, R.: Verifiable executable models for decomposable real-time systems. In: Ferreira Pires, L., Hammoudi, S., Seidewitz, E. (eds.) Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2022, pp. 182\u2013193. SCITEPRESS (2022). https:\/\/doi.org\/10.5220\/0010812200003119","DOI":"10.5220\/0010812200003119"},{"key":"7_CR34","unstructured":"M$$^{c}$$Coll, C., Estivill-Castro, V., Hexel, R.: An OO and functional framework for versatile semantics of logic-labelled finite state machines. In: The Twelfth International Conference on Software Engineering Advances, pp. 238\u2013243 (2017)"},{"key":"7_CR35","unstructured":"M$$^c$$Coll, C., Estivill-Castro, V., Hexel, R.: Versatile but precise semantics for logic-labelled finite state machines. Int. J. Adv. Softw. 11(3), 227\u2013238 (2018)"},{"key":"7_CR36","doi-asserted-by":"publisher","unstructured":"Myers, T., Dromey, R.G.: From requirements to embedded software - formalising the key steps. In: 20th Australian Software Engineering Conference (ASWEC 2009), pp. 23\u201333. IEEE Computer Society (14th-17th April 2009). https:\/\/doi.org\/10.1109\/ASWEC.2009.37","DOI":"10.1109\/ASWEC.2009.37"},{"issue":"4","key":"7_CR37","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1109\/MC.2010.270","volume":"44","author":"T Myers","year":"2011","unstructured":"Myers, T., Dromey, R.G., Fritzson, P.: Comodeling: from requirements to an integrated software\/hardware model. Computer 44(4), 62\u201370 (2011). https:\/\/doi.org\/10.1109\/MC.2010.270","journal-title":"Computer"},{"issue":"2","key":"7_CR38","doi-asserted-by":"publisher","first-page":"978","DOI":"10.1109\/COMST.2017.2780114","volume":"20","author":"P Park","year":"2018","unstructured":"Park, P., Coleri Ergen, S., Fischione, C., Lu, C., Johansson, K.H.: Wireless network design for control systems: a survey. IEEE Commun. Surv. Tutor. 20(2), 978\u20131013 (2018). https:\/\/doi.org\/10.1109\/COMST.2017.2780114","journal-title":"IEEE Commun. Surv. Tutor."},{"issue":"06","key":"7_CR39","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1109\/MC.2022.3144929","volume":"55","author":"O Pastor","year":"2022","unstructured":"Pastor, O., Pierantonio, A., Rossi, G.: Teaching modeling in the time of agile development. Computer 55(06), 73\u201376 (2022). https:\/\/doi.org\/10.1109\/MC.2022.3144929","journal-title":"Computer"},{"key":"7_CR40","doi-asserted-by":"crossref","unstructured":"Pham, V.C., Radermacher, A., G\u00e9rard, S., Li, S.: Complete code generation from UML state machine. In: Ferreira Pires, L., Hammoudi, S., Selic, B. (eds.) Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2017, Porto, Portugal, February 19\u201321, 2017, pp. 208\u2013219. SciTePress (2017)","DOI":"10.5220\/0006274502080219"},{"key":"7_CR41","unstructured":"Rumbaugh, J.R., Blaha, M.R., Lorensen, W., Eddy, F., Premerlani, W.: Object-Oriented Modeling and Design. Prentice-Hall (1991)"},{"key":"7_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-030-67220-1_1","volume-title":"Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops","author":"S Sahu","year":"2021","unstructured":"Sahu, S., Schorr, R., Medina-Bulo, I., Wagner, M.: Model translation from papyrus-RT into the nuXmv model checker. In: Cleophas, L., Massink, M. (eds.) SEFM 2020. LNCS, vol. 12524, pp. 3\u201320. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-67220-1_1"},{"key":"7_CR43","doi-asserted-by":"publisher","DOI":"10.1201\/b16463","volume-title":"Practical UML Statecharts in C\/C++, Second Edition: Event-Driven Programming for Embedded Systems","author":"M Samek","year":"2008","unstructured":"Samek, M.: Practical UML Statecharts in C\/C++, Second Edition: Event-Driven Programming for Embedded Systems. Newnes, Newton, MA, USA (2008)"},{"key":"7_CR44","volume-title":"Object Lifecycles","author":"S Shlaer","year":"1992","unstructured":"Shlaer, S., Mellor, S.: Object Lifecycles. Yourdon Press, New Jersey (1992)"},{"key":"7_CR45","doi-asserted-by":"crossref","unstructured":"Simons, A.: On the compositional properties of UML statechart diagrams. In: Rigorous Object-Oriented Methods 2000. Electronic Workshops in Computering (eWiC), New York (2000)","DOI":"10.14236\/ewic\/ROOM2000.8"},{"key":"7_CR46","unstructured":"Sommerville, I.: Software engineering, 10th Edition. International computer science series, Addison-Wesley (2016). https:\/\/www.worldcat.org\/oclc\/65978675"},{"issue":"10","key":"7_CR47","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1109\/2.7053","volume":"21","author":"JA Stankovic","year":"1988","unstructured":"Stankovic, J.A.: Misconceptions about real-time computing: a serious problem for next-generation systems. Computer 21(10), 10\u201319 (1988). https:\/\/doi.org\/10.1109\/2.7053","journal-title":"Computer"},{"key":"7_CR48","volume-title":"Systems Engineering","author":"R Stevens","year":"1998","unstructured":"Stevens, R., Brook, P., Jackson, K., Arnold, S.: Systems Engineering. Coping with Complexity. Prentice Hall Europe, London (1998)"},{"key":"7_CR49","unstructured":"The Object Management Group: Information technology - Object Management Group Unified Modeling Language (OMG UML), Infrastructure. ISO\/IEC 19505\u20131:2012(E), ISO (2012)"},{"key":"7_CR50","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.: Modeling Software with Finite State Machines: A Practical Approach. Auerbach Publications, New York (2006)"},{"key":"7_CR51","doi-asserted-by":"crossref","unstructured":"Wagner, F., Wolstenholme, P.: Modeling and building reliable, re-useable software. In: 10th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2003), pp. 277\u2013286. IEEE (2003)","DOI":"10.1109\/ECBS.2003.1194809"},{"key":"7_CR52","doi-asserted-by":"crossref","unstructured":"Winskel, G.: The Formal Semantics of Programming Languages: An Introduction. MIT press (1993)","DOI":"10.7551\/mitpress\/3054.001.0001"},{"key":"7_CR53","doi-asserted-by":"publisher","unstructured":"Winter, K., J., H.I., Colvin, R.: Integrating requirements: The behavior tree philosophy. In: Fiadeiro, J.L., Gnesi, S., Maggiolo-Schettini, A. (eds.) 8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010, pp. 41\u201350. IEEE Computer Society (2010). https:\/\/doi.org\/10.1109\/SEFM.2010.13","DOI":"10.1109\/SEFM.2010.13"},{"key":"7_CR54","doi-asserted-by":"publisher","first-page":"27421","DOI":"10.1109\/ACCESS.2017.2770323","volume":"5","author":"F Zhang","year":"2017","unstructured":"Zhang, F., Zhao, Y., Ma, D., Niu, W.: Formal verification of behavioral AADL models by stateful timed CSP. IEEE Access 5, 27421\u201327438 (2017). https:\/\/doi.org\/10.1109\/ACCESS.2017.2770323","journal-title":"IEEE Access"}],"container-title":["Communications in Computer and Information Science","Model-Driven Engineering and Software Development"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-38821-7_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,25]],"date-time":"2024-10-25T16:51:47Z","timestamp":1729875107000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-38821-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031388200","9783031388217"],"references-count":54,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-38821-7_7","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"4 August 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"MODELSWARD","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Model-Driven Engineering and Software Development","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 February 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 February 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"modelsward2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/modelsward.scitevents.org\/?y=2022","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"PRIMORIS","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"59","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"10","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"23","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"17% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}