{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T21:20:59Z","timestamp":1743110459043,"version":"3.40.3"},"publisher-location":"Cham","reference-count":46,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031077265"},{"type":"electronic","value":"9783031077272"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-07727-2_7","type":"book-chapter","created":{"date-parts":[[2022,6,1]],"date-time":"2022-06-01T01:12:12Z","timestamp":1654045932000},"page":"109-128","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Reachability Analysis and\u00a0Simulation for\u00a0Hybridised Event-B Models"],"prefix":"10.1007","author":[{"given":"Yamine","family":"A\u00eft-Ameur","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sergiy","family":"Bogomolov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guillaume","family":"Dupont","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Neeraj Kumar","family":"Singh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paulius","family":"Stankaitis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,6,1]]},"reference":[{"key":"7_CR1","volume-title":"Modeling in Event-B: System and Software Engineering","author":"JR Abrial","year":"2013","unstructured":"Abrial, J.R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, New York (2013)"},{"issue":"6","key":"7_CR2","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1007\/s10009-010-0145-y","volume":"12","author":"JR Abrial","year":"2010","unstructured":"Abrial, J.R., Butler, M., Hallerstede, S., Hoang, T.S., Mehta, F., Voisin, L.: Rodin: an open toolset for modelling and reasoning in Event-B. Int. J. Softw. Tools Technol. Transf. 12(6), 447\u2013466 (2010)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"issue":"1","key":"7_CR3","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1146\/annurev-control-071420-081941","volume":"4","author":"M Althoff","year":"2021","unstructured":"Althoff, M., Frehse, G., Girard, A.: Set propagation techniques for reachability analysis. Ann. Rev. Control Robot. Autonom. Syst. 4(1), 369\u2013395 (2021). https:\/\/doi.org\/10.1146\/annurev-control-071420-081941","journal-title":"Ann. Rev. Control Robot. Autonom. Syst."},{"key":"7_CR4","doi-asserted-by":"publisher","unstructured":"Alur, R.: Formal verification of hybrid systems. In: Proceedings of the Ninth ACM International Conference on Embedded Software, pp. 273\u2013278. EMSOFT 2011, ACM, New York, NY, USA (2011). https:\/\/doi.org\/10.1145\/2038642.2038685","DOI":"10.1145\/2038642.2038685"},{"key":"7_CR5","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/978-3-319-25942-0_4","volume-title":"Dependable Software Engineering: Theories, Tools, and Applications","author":"G Babin","year":"2015","unstructured":"Babin, G., A\u00eft-Ameur, Y., Nakajima, S., Pantel, M.: Refinement and proof based development of systems characterized by continuous functions. In: Li, X., Liu, Z., Yi, W. (eds.) Dependable Software Engineering: Theories, Tools, and Applications, pp. 55\u201370. Springer International Publishing, Cham (2015)"},{"key":"7_CR6","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1016\/j.scico.2015.02.003","volume":"105","author":"R Banach","year":"2015","unstructured":"Banach, R., Butler, M., Qin, S., Verma, N., Zhu, H.: Core hybrid event-b I: single hybrid event-b machines. Sci. Comput. Program. 105, 92\u2013123 (2015)","journal-title":"Sci. Comput. Program."},{"key":"7_CR7","unstructured":"Barney, D., Haley, D., Nikandros, G.: Calculating train braking distance. In: Proceedings of the Sixth Australian Workshop on Safety Critical Systems and Software - Volume 3, pp. 23\u201329. SCS 2001, Australian Computer Society Inc., AUS (2001)"},{"issue":"1","key":"7_CR8","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1137\/141000671","volume":"59","author":"J Bezanson","year":"2017","unstructured":"Bezanson, J., Edelman, A., Karpinski, S., Shah, V.B.: Julia: a fresh approach to numerical computing. SIAM Rev. 59(1), 65\u201398 (2017). https:\/\/doi.org\/10.1137\/141000671","journal-title":"SIAM Rev."},{"key":"7_CR9","doi-asserted-by":"publisher","unstructured":"Bogdiukiewicz, C., et al.: Formal development of policing functions for intelligent systems. In: 2017 IEEE 28th International Symposium on Software Reliability Engineering (ISSRE), pp. 194\u2013204 (2017). https:\/\/doi.org\/10.1109\/ISSRE.2017.40","DOI":"10.1109\/ISSRE.2017.40"},{"key":"7_CR10","doi-asserted-by":"publisher","unstructured":"Bogomolov, S., Forets, M., Frehse, G., Potomkin, K., Schilling, C.: JuliaReach: a toolbox for set-based reachability. In: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, pp. 39\u201344. HSCC 2019, Association for Computing Machinery, New York, NY, USA (2019). https:\/\/doi.org\/10.1145\/3302504.3311804","DOI":"10.1145\/3302504.3311804"},{"key":"7_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/978-3-642-39698-4_5","volume-title":"Theories of Programming and Formal Methods","author":"M Butler","year":"2013","unstructured":"Butler, M., Maamria, I.: Practical theory extension in Event-B. In: Liu, Z., Woodcock, J., Zhu, H. (eds.) Theories of Programming and Formal Methods. LNCS, vol. 8051, pp. 67\u201381. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-39698-4_5"},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/978-3-642-39799-8_18","volume-title":"Computer Aided Verification","author":"X Chen","year":"2013","unstructured":"Chen, X., \u00c1brah\u00e1m, E., Sankaranarayanan, S.: Flow*: an analyzer for non-linear hybrid systems. In: Sharygina, N., Veith, H. (eds.) CAV 2013. LNCS, vol. 8044, pp. 258\u2013263. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-39799-8_18"},{"key":"7_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/3-540-48983-5_10","volume-title":"Hybrid Systems: Computation and Control","author":"A Chutinan","year":"1999","unstructured":"Chutinan, A., Krogh, B.H.: Verification of polyhedral-invariant hybrid automata using polygonal flow pipe approximations. In: Vaandrager, F.W., van Schuppen, J.H. (eds.) HSCC 1999. LNCS, vol. 1569, pp. 76\u201390. Springer, Heidelberg (1999). https:\/\/doi.org\/10.1007\/3-540-48983-5_10"},{"issue":"P2","key":"7_CR14","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1016\/j.scico.2014.04.012","volume":"94","author":"D D\u00e9harbe","year":"2014","unstructured":"D\u00e9harbe, D., Fontaine, P., Guyot, Y., Voisin, L.: Integrating SMT solvers in Rodin. Sci. Comput. Program. 94(P2), 130\u2013143 (2014)","journal-title":"Sci. Comput. Program."},{"key":"7_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/978-3-030-63461-2_5","volume-title":"Integrated Formal Methods","author":"G Dupont","year":"2020","unstructured":"Dupont, G., A\u00eft-Ameur, Y., Pantel, M., Singh, N.K.: An Event-B based generic framework for hybrid systems formal modelling. In: Dongol, B., Troubitsyna, E. (eds.) IFM 2020. LNCS, vol. 12546, pp. 82\u2013102. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-63461-2_5"},{"key":"7_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/978-3-319-91271-4_11","volume-title":"Abstract State Machines, Alloy, B, TLA, VDM, and Z","author":"G Dupont","year":"2018","unstructured":"Dupont, G., A\u00eft-Ameur, Y., Pantel, M., Singh, N.K.: Proof-based approach to hybrid systems development: dynamic logic and Event-B. In: Butler, M., Raschke, A., Hoang, T.S., Reichl, K. (eds.) ABZ 2018. LNCS, vol. 10817, pp. 155\u2013170. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-91271-4_11"},{"key":"7_CR17","doi-asserted-by":"publisher","unstructured":"Dupont, G., Ait-Ameur, Y., Singh, N.K., Pantel, M.: Event-B hybridation: A proof and refinement-based framework for modelling hybrid systems. ACM Trans. Embed. Comput. Syst. 20(4), 1\u201337 (2021). https:\/\/doi.org\/10.1145\/3448270","DOI":"10.1145\/3448270"},{"key":"7_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1007\/3-540-55092-5_22","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"CJ Fidge","year":"1992","unstructured":"Fidge, C.J.: Specification and verification of real-time behaviour using Z and RTL. In: Vytopil, J. (ed.) FTRTFT 1992. LNCS, vol. 571, pp. 393\u2013409. Springer, Heidelberg (1992). https:\/\/doi.org\/10.1007\/3-540-55092-5_22"},{"key":"7_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1007\/978-3-642-22110-1_30","volume-title":"Computer Aided Verification","author":"G Frehse","year":"2011","unstructured":"Frehse, G., et al.: SpaceEx: scalable verification of hybrid systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 379\u2013395. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-22110-1_30"},{"key":"7_CR20","doi-asserted-by":"publisher","unstructured":"Geretti, L., et al.: ARCH-COMP20 category report: continuous and hybrid systems with nonlinear dynamics. In: Frehse, G., Althoff, M. (eds.) ARCH 2020. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20). EPiC Series in Computing, vol. 74, pp. 49\u201375. EasyChair (2020). https:\/\/doi.org\/10.29007\/zkf6","DOI":"10.29007\/zkf6"},{"issue":"3","key":"7_CR21","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D Harel","year":"1987","unstructured":"Harel, D.: Statecharts: a visual formalism for complex systems. Sci. Comput. Program. 8(3), 231\u2013274 (1987). https:\/\/doi.org\/10.1016\/0167-6423(87)90035-9","journal-title":"Sci. Comput. Program."},{"key":"7_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/978-3-319-33600-8_21","volume-title":"Abstract State Machines, Alloy, B, TLA, VDM, and Z","author":"A Iliasov","year":"2016","unstructured":"Iliasov, A., Stankaitis, P., Adjepon-Yamoah, D., Romanovsky, A.: Rodin platform why3 plug-in. In: Butler, M., Schewe, K.-D., Mashkoor, A., Biro, M. (eds.) ABZ 2016. LNCS, vol. 9675, pp. 275\u2013281. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-33600-8_21"},{"key":"7_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-662-46681-0_3","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"F Immler","year":"2015","unstructured":"Immler, F.: Verified reachability analysis of continuous systems. In: Baier, C., Tinelli, C. (eds.) TACAS 2015. LNCS, vol. 9035, pp. 37\u201351. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-662-46681-0_3"},{"key":"7_CR24","unstructured":"Jifeng, H.: A classical mind. chap. In: From CSP to Hybrid Systems, pp. 171\u2013189. Prentice Hall International (UK) Ltd. (1994)"},{"key":"7_CR25","volume-title":"Systematic Software Development Using VDM","author":"CB Jones","year":"1990","unstructured":"Jones, C.B.: Systematic Software Development Using VDM, 2nd edn. Prentice-Hall Inc., USA (1990)","edition":"2"},{"key":"7_CR26","doi-asserted-by":"publisher","unstructured":"Kim, K.D., Kumar, P.R.: Cyber-physical systems: a perspective at the centennial. In: Proceedings of the IEEE 100 (Special Centennial Issue), pp. 1287\u20131308, May 2012. https:\/\/doi.org\/10.1109\/JPROC.2012.2189792","DOI":"10.1109\/JPROC.2012.2189792"},{"key":"7_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/3-540-57318-6_25","volume-title":"Hybrid Systems","author":"L Lamport","year":"1993","unstructured":"Lamport, L.: Hybrid systems in TLA+. In: Grossman, R.L., Nerode, A., Ravn, A.P., Rischel, H. (eds.) HS 1991-1992. LNCS, vol. 736, pp. 77\u2013102. Springer, Heidelberg (1993). https:\/\/doi.org\/10.1007\/3-540-57318-6_25"},{"key":"7_CR28","doi-asserted-by":"publisher","unstructured":"Larsen, P.G., et al.: Integrated tool chain for model-based design of cyber-physical systems: the INTO-CPS project. In: 2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data), pp. 1\u20136 (2016). https:\/\/doi.org\/10.1109\/CPSData.2016.7496424","DOI":"10.1109\/CPSData.2016.7496424"},{"key":"7_CR29","doi-asserted-by":"crossref","unstructured":"Lee, E.A.: Cyber physical systems: design challenges. In: 2008 11th IEEE International Symposium on Object Oriented Real-Time Distributed Computing (ISORC), pp. 363\u2013369. IEEE (2008)","DOI":"10.1109\/ISORC.2008.25"},{"key":"7_CR30","doi-asserted-by":"publisher","unstructured":"Lee, E.A., Zheng, H.: Operational semantics of hybrid systems. In: Hybrid Systems: Computation and Control, 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9\u201311, 2005, Proceedings, pp. 25\u201353 (2005). https:\/\/doi.org\/10.1007\/978-3-540-31954-2_2","DOI":"10.1007\/978-3-540-31954-2_2"},{"key":"7_CR31","doi-asserted-by":"publisher","unstructured":"Lee, E.A., Zheng, H.: HyVisual: a hybrid system modeling framework based on Ptolemy II. IFAC Proc. Vol. 39(5), 270\u2013271 (2006). https:\/\/doi.org\/10.3182\/20060607-3-IT-3902.00050","DOI":"10.3182\/20060607-3-IT-3902.00050"},{"key":"7_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"855","DOI":"10.1007\/978-3-540-45236-2_46","volume-title":"FME 2003: Formal Methods","author":"M Leuschel","year":"2003","unstructured":"Leuschel, M., Butler, M.: ProB: a model checker for B. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol. 2805, pp. 855\u2013874. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-540-45236-2_46"},{"key":"7_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/978-3-030-02450-5_6","volume-title":"Formal Methods and Software Engineering","author":"T Liebrenz","year":"2018","unstructured":"Liebrenz, T., Herber, P., Glesner, S.: Deductive Verification of Hybrid Control Systems Modeled in Simulink with KeYmaera X. In: Sun, J., Sun, M. (eds.) ICFEM 2018. LNCS, vol. 11232, pp. 89\u2013105. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-02450-5_6"},{"key":"7_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-17164-2_1","volume-title":"Programming Languages and Systems","author":"J Liu","year":"2010","unstructured":"Liu, J., et al.: A calculus for hybrid CSP. In: Ueda, K. (ed.) APLAS 2010. LNCS, vol. 6461, pp. 1\u201315. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-17164-2_1"},{"key":"7_CR35","unstructured":"MathWorks, T.: Simulink user\u2019s guide (2021)"},{"key":"7_CR36","unstructured":"MathWorks, T.: Stateflow user\u2019s guide (2021)"},{"key":"7_CR37","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/978-3-540-71070-7_15","volume-title":"Automated Reasoning","author":"A Platzer","year":"2008","unstructured":"Platzer, A., Quesel, J.-D.: KeYmaera: a hybrid theorem prover for hybrid systems (system description). In: Armando, A., Baumgartner, P., Dowek, G. (eds.) IJCAR 2008. LNCS (LNAI), vol. 5195, pp. 171\u2013178. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-71070-7_15"},{"issue":"4","key":"7_CR38","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1243\/0954409001531306","volume":"214","author":"BP Rochard","year":"2000","unstructured":"Rochard, B.P., Schmid, F.: A review of methods to measure and calculate train resistances. Proc. Inst. Mech. Eng. Part F J. Rail Rapid Transit. 214(4), 185\u2013199 (2000). https:\/\/doi.org\/10.1243\/0954409001531306","journal-title":"Proc. Inst. Mech. Eng. Part F J. Rail Rapid Transit."},{"key":"7_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-319-25141-7_10","volume-title":"Cyber Physical Systems. Design, Modeling, and Evaluation","author":"MU Sanwal","year":"2015","unstructured":"Sanwal, M.U., Hasan, O.: Formally analyzing continuous aspects of\u00a0cyber-physical systems modeled by homogeneous linear differential equations. In: Berger, C., Mousavi, M.R. (eds.) CyPhy 2015. LNCS, vol. 9361, pp. 132\u2013146. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-25141-7_10"},{"key":"7_CR40","doi-asserted-by":"publisher","unstructured":"Singh, N.K., Lawford, M., Maibaum, T.S.E., Wassyng, A.: Stateflow to tabular expressions. In: Proceedings of the Sixth International Symposium on Information and Communication Technology, pp. 312\u2013319. SoICT 2015, Association for Computing Machinery, New York, NY, USA (2015). https:\/\/doi.org\/10.1145\/2833258.2833285","DOI":"10.1145\/2833258.2833285"},{"key":"7_CR41","doi-asserted-by":"publisher","unstructured":"Stankaitis, P., Dupont, G., Singh, N.K., Ait-Ameur, Y., Iliasov, A., Romanovsky, A.: Modelling hybrid train speed controller using proof and refinement. In: 2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS), pp. 107\u2013113 (2019). https:\/\/doi.org\/10.1109\/ICECCS.2019.00019","DOI":"10.1109\/ICECCS.2019.00019"},{"key":"7_CR42","doi-asserted-by":"crossref","unstructured":"Stankaitis, P., Iliasov, A., Ameur, Y.A., Kobayashi, T., Ishikawa, F., Romanovsky, A.: A refinement based method for developing distributed protocols. In: IEEE 19th International Symposium on High Assurance Systems Engineering (HASE), pp. 90\u201397 (2019)","DOI":"10.1109\/HASE.2019.00023"},{"key":"7_CR43","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-319-07512-9_2","volume-title":"ABZ 2014: The Landing Gear Case Study","author":"W Su","year":"2014","unstructured":"Su, W., Abrial, J.-R.: Aircraft landing gear system: approaches with event-b to the modeling of an industrial system. In: Boniol, F., Wiels, V., Ait Ameur, Y., Schewe, K.-D. (eds.) ABZ 2014. CCIS, vol. 433, pp. 19\u201335. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-07512-9_2"},{"key":"7_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/11813040_11","volume-title":"FM 2006: Formal Methods","author":"M Verhoef","year":"2006","unstructured":"Verhoef, M., Larsen, P.G., Hooman, J.: Modeling and validating distributed embedded real-time systems with VDM++. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol. 4085, pp. 147\u2013162. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11813040_11"},{"key":"7_CR45","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1007\/BFb0020972","volume-title":"Hybrid Systems III","author":"Z Chaochen","year":"1996","unstructured":"Chaochen, Z., Ji, W., Ravn, A.P.: A formal description of hybrid systems. In: Alur, R., Henzinger, T.A., Sontag, E.D. (eds.) HS 1995. LNCS, vol. 1066, pp. 511\u2013530. Springer, Heidelberg (1996). https:\/\/doi.org\/10.1007\/BFb0020972"},{"key":"7_CR46","doi-asserted-by":"publisher","unstructured":"Zou, L., Zhan, N., Wang, S., Fr\u00e4nzle, M.: Formal verification of Simulink\/Stateflow diagrams. In: Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, 12\u201315 October 2015, Proceedings, pp. 464\u2013481 (2015). https:\/\/doi.org\/10.1007\/978-3-319-24953-7_33","DOI":"10.1007\/978-3-319-24953-7_33"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-07727-2_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,1]],"date-time":"2022-06-01T01:13:01Z","timestamp":1654045981000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-07727-2_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031077265","9783031077272"],"references-count":46,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-07727-2_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"1 June 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"IFM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Integrated Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Lugano","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Switzerland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 June 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 June 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ifm2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.ifmconference.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"46","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":"14","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":"2","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":"30% - 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":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Also includes: 1 abstract of an invited talk, 2 invited papers, 7 extended abstracts of presentations accepted at PhD symposium","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}