{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T08:06:59Z","timestamp":1726042019232},"publisher-location":"Cham","reference-count":48,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030270070"},{"type":"electronic","value":"9783030270087"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","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":[[2019]]},"DOI":"10.1007\/978-3-030-27008-7_1","type":"book-chapter","created":{"date-parts":[[2019,8,22]],"date-time":"2019-08-22T23:12:33Z","timestamp":1566515553000},"page":"1-21","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":23,"title":["Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC"],"prefix":"10.1007","author":[{"ORCID":"http:\/\/orcid.org\/0000-0002-7196-6609","authenticated-orcid":false,"given":"Davide","family":"Basile","sequence":"first","affiliation":[]},{"ORCID":"http:\/\/orcid.org\/0000-0002-2930-6367","authenticated-orcid":false,"given":"Maurice H.","family":"ter Beek","sequence":"additional","affiliation":[]},{"ORCID":"http:\/\/orcid.org\/0000-0002-0636-5663","authenticated-orcid":false,"given":"Alessio","family":"Ferrari","sequence":"additional","affiliation":[]},{"given":"Axel","family":"Legay","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,7,25]]},"reference":[{"issue":"1","key":"1_CR1","doi-asserted-by":"publisher","first-page":"6:1","DOI":"10.1145\/3158668","volume":"28","author":"G Agha","year":"2018","unstructured":"Agha, G., Palmskog, K.: A survey of statistical model checking. ACM Trans. Model. Comput. Simul. 28(1), 6:1\u20136:39 (2018)","journal-title":"ACM Trans. Model. Comput. Simul."},{"key":"1_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/978-3-319-91271-4_19","volume-title":"Abstract State Machines, Alloy, B, TLA, VDM, and Z","author":"P Arcaini","year":"2018","unstructured":"Arcaini, P., Je\u017eek, P., Kofro\u0148, J.: Modelling the hybrid ERTMS\/ETCS level 3 case study in spin. In: Butler, M., Raschke, A., Hoang, T.S., Reichl, K. (eds.) ABZ 2018. LNCS, vol. 10817, pp. 277\u2013291. Springer, Cham (2018). \nhttps:\/\/doi.org\/10.1007\/978-3-319-91271-4_19"},{"issue":"10","key":"1_CR3","doi-asserted-by":"publisher","first-page":"152154","DOI":"10.4108\/eai.1-2-2017.152154","volume":"4","author":"Alexandre Arnold","year":"2017","unstructured":"Arnold, A., et al.: An application of SMC to continuous validation of heterogeneous systems. EAI Endorsed Trans. Ind. Netw. Intell. Syst. 4(10), 1\u201319 (2017). \nhttps:\/\/doi.org\/10.4108\/eai.1-2-2017.152154","journal-title":"EAI Endorsed Transactions on Industrial Networks and Intelligent Systems"},{"key":"1_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/978-3-030-00244-2_7","volume-title":"Formal Methods for Industrial Critical Systems","author":"M Bartholomeus","year":"2018","unstructured":"Bartholomeus, M., Luttik, B., Willemse, T.: Modelling and analysing ERTMS hybrid level 3 with the mCRL2 toolset. In: Howar, F., Barnat, J. (eds.) FMICS 2018. LNCS, vol. 11119, pp. 98\u2013114. Springer, Cham (2018). \nhttps:\/\/doi.org\/10.1007\/978-3-030-00244-2_7"},{"key":"1_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1007\/978-3-030-03421-4_24","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Verification","author":"D Basile","year":"2018","unstructured":"Basile, D., ter Beek, M.H., Ciancia, V.: Statistical model checking of a moving block railway signalling scenario with Uppaal SMC. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11245, pp. 372\u2013391. Springer, Cham (2018). \nhttps:\/\/doi.org\/10.1007\/978-3-030-03421-4_24"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Basile, D., Di Giandomenico, F., Gnesi, S.: Statistical model checking of an energy-saving cyber-physical system in the railway domain. In: SAC, pp. 1356\u20131363. ACM (2017)","DOI":"10.1145\/3019612.3019824"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-319-98938-9_2","volume-title":"Integrated Formal Methods","author":"D Basile","year":"2018","unstructured":"Basile, D., et al.: On the industrial uptake of formal methods in the railway domain. In: Furia, C.A., Winter, K. (eds.) IFM 2018. LNCS, vol. 11023, pp. 20\u201329. Springer, Cham (2018). \nhttps:\/\/doi.org\/10.1007\/978-3-319-98938-9_2"},{"key":"1_CR8","first-page":"44","volume":"112","author":"MH Beek ter","year":"2018","unstructured":"ter Beek, M.H., Fantechi, A., Ferrari, A., Gnesi, S., Scopigno, R.: Formal methods for the railway sector. ERCIM News 112, 44\u201345 (2018)","journal-title":"ERCIM News"},{"issue":"3","key":"1_CR9","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/s10009-018-0494-5","volume":"20","author":"MH Beek ter","year":"2018","unstructured":"ter Beek, M.H., Gnesi, S., Knapp, A.: Formal methods for transport systems. Int. J. Softw. Tools Technol. Transf. 20(3), 355\u2013358 (2018)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"1_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/978-3-319-47166-2_8","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques","author":"MH Beek ter","year":"2016","unstructured":"ter Beek, M.H., Legay, A., Lluch Lafuente, A., Vandin, A.: Statistical model checking for product lines. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9952, pp. 114\u2013133. Springer, Cham (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-319-47166-2_8"},{"key":"1_CR11","unstructured":"Behrmann, G., et al.: UPPAAL 4.0. In: QEST, pp. 125\u2013126. IEEE (2006)"},{"key":"1_CR12","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1016\/j.trc.2011.12.002","volume":"22","author":"J Beugin","year":"2012","unstructured":"Beugin, J., Marais, J.: Simulation-based evaluation of dependability and safety properties of satellite technologies for railway localization. Transp. Res. C-Emer. 22, 42\u201357 (2012)","journal-title":"Transp. Res. C-Emer."},{"volume-title":"Formal Methods Applied to Industrial Complex Systems - Implementation of the B Method","year":"2014","key":"1_CR13","unstructured":"Boulanger, J.L. (ed.): Formal Methods Applied to Industrial Complex Systems - Implementation of the B Method. Wiley, Hoboken (2014)"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Cappart, Q., et al.: Verification of interlocking systems using statistical model checking. In: HASE, pp. 61\u201368. IEEE (2017)","DOI":"10.1109\/HASE.2017.10"},{"key":"1_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/978-3-319-91271-4_21","volume-title":"Abstract State Machines, Alloy, B, TLA, VDM, and Z","author":"A Cunha","year":"2018","unstructured":"Cunha, A., Macedo, N.: Validating the hybrid ERTMS\/ETCS level 3 concept with electrum. In: Butler, M., Raschke, A., Hoang, T.S., Reichl, K. (eds.) ABZ 2018. LNCS, vol. 10817, pp. 307\u2013321. Springer, Cham (2018). \nhttps:\/\/doi.org\/10.1007\/978-3-319-91271-4_21"},{"issue":"4","key":"1_CR16","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1007\/s10009-014-0361-y","volume":"17","author":"A David","year":"2015","unstructured":"David, A., Larsen, K.G., Legay, A., Miku\u010dionis, M., Poulsen, D.B.: Uppaal SMC tutorial. Int. J. Softw. Tools Technol. Transf. 17(4), 397\u2013415 (2015)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"1_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/978-3-319-11936-6_10","volume-title":"Automated Technology for Verification and Analysis","author":"A David","year":"2014","unstructured":"David, A., et al.: On time with minimal expected cost!. In: Cassez, F., Raskin, J.-F. (eds.) ATVA 2014. LNCS, vol. 8837, pp. 129\u2013145. Springer, Cham (2014). \nhttps:\/\/doi.org\/10.1007\/978-3-319-11936-6_10"},{"key":"1_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/3-540-45739-9_4","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"BP Douglass","year":"2002","unstructured":"Douglass, B.P.: Real-time UML. In: Damm, W., Olderog, E.-R. (eds.) FTRTFT 2002. LNCS, vol. 2469, pp. 53\u201370. Springer, Heidelberg (2002). \nhttps:\/\/doi.org\/10.1007\/3-540-45739-9_4"},{"key":"1_CR19","unstructured":"EEIG ERTMS Users Group: ERTMS\/ETCS RAMS Requirements Specification \u2013 Chapter 2 - RAM, 30 September 1998"},{"key":"1_CR20","unstructured":"EEIG ERTMS Users Group: System Requirements Specification v3.6.0 - SUBSET-026, 15 June 2016"},{"key":"1_CR21","unstructured":"EEIG ERTMS Users Group: Hybrid ERTMS\/ETCS Level 3: Principles, 14 July 2017"},{"key":"1_CR22","unstructured":"European Committee for Electrotechnical Standardization: CENELEC EN 50128 \u2013 Railway applications - Communication, signalling and processing systems - Software for railway control and protection systems, 01 June 2011"},{"key":"1_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-319-05032-4_13","volume-title":"Software Engineering and Formal Methods","author":"A Fantechi","year":"2014","unstructured":"Fantechi, A.: Twenty-five years of formal methods and railways: what next? In: Counsell, S., N\u00fa\u00f1ez, M. (eds.) SEFM 2013. LNCS, vol. 8368, pp. 167\u2013183. Springer, Cham (2014). \nhttps:\/\/doi.org\/10.1007\/978-3-319-05032-4_13"},{"key":"1_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/978-3-319-47169-3_18","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications","author":"A Fantechi","year":"2016","unstructured":"Fantechi, A., Ferrari, A., Gnesi, S.: Formal methods and safety certification: challenges in the railways domain. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9953, pp. 261\u2013265. Springer, Cham (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-319-47169-3_18"},{"key":"1_CR25","doi-asserted-by":"crossref","unstructured":"Fantechi, A., Fokkink, W., Morzenti, A.: Some trends in formal methods applications to railway signaling. In: Formal Methods for Industrial Critical Systems: A Survey of Applications, pp. 61\u201384. Wiley (2013). (chap. 4)","DOI":"10.1002\/9781118459898.ch4"},{"issue":"3","key":"1_CR26","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1109\/MS.2013.44","volume":"30","author":"A Ferrari","year":"2013","unstructured":"Ferrari, A., Fantechi, A., Gnesi, S., Magnani, G.: Model-based development and formal methods in the railway industry. IEEE Softw. 30(3), 28\u201334 (2013)","journal-title":"IEEE Softw."},{"issue":"7","key":"1_CR27","doi-asserted-by":"publisher","first-page":"828","DOI":"10.1016\/j.scico.2012.04.003","volume":"78","author":"A Ferrari","year":"2013","unstructured":"Ferrari, A., Fantechi, A., Magnani, G., Grasso, D., Tempestini, M.: The Metr\u00f4 Rio case study. Sci. Comput. Program. 78(7), 828\u2013842 (2013)","journal-title":"Sci. Comput. Program."},{"key":"1_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/978-3-030-18744-6_15","volume-title":"Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification","author":"A Ferrari","year":"2019","unstructured":"Ferrari, A., et al.: Survey on formal methods and tools in railways: the ASTRail approach. In: Collart-Dutilleul, S., Lecomte, T., Romanovsky, A. (eds.) RSSRail 2019. LNCS, vol. 11495, pp. 226\u2013241. Springer, Cham (2019). \nhttps:\/\/doi.org\/10.1007\/978-3-030-18744-6_15"},{"key":"1_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"748","DOI":"10.1007\/978-3-319-48989-6_46","volume-title":"FM 2016: Formal Methods","author":"P Filipovikj","year":"2016","unstructured":"Filipovikj, P., Mahmud, N., Marinescu, R., Seceleanu, C., Ljungkrantz, O., L\u00f6nn, H.: Simulink to UPPAAL statistical model checker: analyzing automotive industrial systems. In: Fitzgerald, J., Heitmeyer, C., Gnesi, S., Philippou, A. (eds.) FM 2016. LNCS, vol. 9995, pp. 748\u2013756. Springer, Cham (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-319-48989-6_46"},{"volume-title":"Railway Safety, Reliability, and Security: Technologies and Systems Engineering","year":"2012","key":"1_CR30","unstructured":"Flammini, F. (ed.): Railway Safety, Reliability, and Security: Technologies and Systems Engineering. IGI Global, Hershey (2012)"},{"key":"1_CR31","doi-asserted-by":"crossref","unstructured":"Fr\u00e4nzle, M., Hahn, E., Hermanns, H., Wolovick, N., Zhang, L.: Measurability and safety verification for stochastic hybrid systems. In: HSCC, pp. 43\u201352. ACM (2011)","DOI":"10.1145\/1967701.1967710"},{"key":"1_CR32","first-page":"2","volume":"232","author":"N Furness","year":"2017","unstructured":"Furness, N., van Houten, H., Arenas, L., Bartholomeus, M.: ERTMS level 3: the game-changer. IRSE News 232, 2\u20139 (2017)","journal-title":"IRSE News"},{"key":"1_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/978-3-319-44878-7_3","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"O Gadyatskaya","year":"2016","unstructured":"Gadyatskaya, O., Hansen, R.R., Larsen, K.G., Legay, A., Olesen, M.C., Poulsen, D.B.: Modelling attack-defense trees using timed automata. In: Fr\u00e4nzle, M., Markey, N. (eds.) FORMATS 2016. LNCS, vol. 9884, pp. 35\u201350. Springer, Cham (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-319-44878-7_3"},{"key":"1_CR34","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1016\/j.trc.2014.02.002","volume":"42","author":"M Ghazel","year":"2014","unstructured":"Ghazel, M.: Formalizing a subset of ERTMS\/ETCS specifications for verification purposes. Transp. Res. C-Emer. 42, 60\u201375 (2014)","journal-title":"Transp. Res. C-Emer."},{"key":"1_CR35","doi-asserted-by":"publisher","first-page":"2667","DOI":"10.1109\/TITS.2017.2657695","volume":"18","author":"M Ghazel","year":"2017","unstructured":"Ghazel, M.: A control scheme for automatic level crossings under the ERTMS\/ ETCS level 2\/3 operation. IEEE Trans. Intell. Transp. Syst. 18, 2667\u20132680 (2017)","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"key":"1_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/978-3-319-10181-1_5","volume-title":"Integrated Formal Methods","author":"S Gilmore","year":"2014","unstructured":"Gilmore, S., Tribastone, M., Vandin, A.: An analysis pathway for the quantitative evaluation of public transport systems. In: Albert, E., Sekerinski, E. (eds.) IFM 2014. LNCS, vol. 8739, pp. 71\u201386. Springer, Cham (2014). \nhttps:\/\/doi.org\/10.1007\/978-3-319-10181-1_5"},{"issue":"3","key":"1_CR37","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)","journal-title":"Sci. Comput. Program."},{"key":"1_CR38","doi-asserted-by":"crossref","unstructured":"Herde, C., Eggers, A., Fr\u00e4nzle, M., Teige, T.: Analysis of hybrid systems using HySAT. In: ICONS, pp. 196\u2013201. IEEE (2008)","DOI":"10.1109\/ICONS.2008.17"},{"key":"1_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/978-3-662-45231-8_10","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications","author":"KG Larsen","year":"2014","unstructured":"Larsen, K.G., Legay, A.: Statistical model checking \u2013 past, present, and future. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014. LNCS, vol. 8803, pp. 135\u2013142. Springer, Heidelberg (2014). \nhttps:\/\/doi.org\/10.1007\/978-3-662-45231-8_10"},{"issue":"2","key":"1_CR40","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1145\/384192.384195","volume":"33","author":"B Littlewood","year":"2001","unstructured":"Littlewood, B., Popov, P., Strigini, L.: Modeling software design diversity: a review. ACM Comput. Surv. 33(2), 177\u2013208 (2001)","journal-title":"ACM Comput. Surv."},{"key":"1_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1007\/978-3-319-91271-4_24","volume-title":"Abstract State Machines, Alloy, B, TLA, VDM, and Z","author":"A Mammar","year":"2018","unstructured":"Mammar, A., Frappier, M., Tueno Fotso, S.J., Laleau, R.: An Event-B model of the hybrid ERTMS\/ETCS level 3 standard. In: Butler, M., Raschke, A., Hoang, T.S., Reichl, K. (eds.) ABZ 2018. LNCS, vol. 10817, pp. 353\u2013366. Springer, Cham (2018). \nhttps:\/\/doi.org\/10.1007\/978-3-319-91271-4_24"},{"key":"1_CR42","doi-asserted-by":"publisher","first-page":"104","DOI":"10.4204\/EPTCS.268.4","volume":"268","author":"Franco Mazzanti","year":"2018","unstructured":"Mazzanti, F., Ferrari, A.: Ten diverse formal models for a CBTC automatic train supervision system. In: MARS. EPTCS, vol. 268, pp. 104\u2013149 (2018)","journal-title":"Electronic Proceedings in Theoretical Computer Science"},{"issue":"3","key":"1_CR43","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/s10009-018-0488-3","volume":"20","author":"F Mazzanti","year":"2018","unstructured":"Mazzanti, F., Ferrari, A., Spagnolo, G.O.: Towards formal methods diversity in railways: an experience report with seven frameworks. Int. J. Softw. Tools Technol. Transf. 20(3), 263\u2013288 (2018)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"1_CR44","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-319-29510-7_7","volume-title":"Formal Techniques for Safety-Critical Systems","author":"R Nardone","year":"2016","unstructured":"Nardone, R., et al.: Modeling railway control systems in Promela. In: Artho, C., \u00d6lveczky, P.C. (eds.) FTSCS 2015. CCIS, vol. 596, pp. 121\u2013136. Springer, Cham (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-319-29510-7_7"},{"key":"1_CR45","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/978-3-030-03421-4_20","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Verification","author":"S Puch","year":"2018","unstructured":"Puch, S., Fr\u00e4nzle, M., Gerwinn, S.: Quantitative risk assessment of safety-critical systems via guided simulation for rare events. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11245, pp. 305\u2013321. Springer, Cham (2018). \nhttps:\/\/doi.org\/10.1007\/978-3-030-03421-4_20"},{"key":"1_CR46","doi-asserted-by":"crossref","unstructured":"Rispoli, F., et al.: Recent progress in application of GNSS and advanced communications for railway signaling. In: RADIOELEKTRONIKA, pp. 13\u201322. IEEE (2013)","DOI":"10.1109\/RadioElek.2013.6530882"},{"key":"1_CR47","unstructured":"Selic, B.: The real-time UML standard: definition and application. In: DATE, pp. 770\u2013772 (2002)"},{"key":"1_CR48","unstructured":"UNISIG: FIS for the RBC\/RBC handover, version 3.1.0, 15 June 2016"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Industrial Critical Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-27008-7_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,22]],"date-time":"2019-08-22T23:16:16Z","timestamp":1566515776000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-27008-7_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030270070","9783030270087"],"references-count":48,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-27008-7_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"25 July 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FMICS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Formal Methods for Industrial Critical Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Amsterdam","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"The Netherlands","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 August 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31 August 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fmics2019","order":10,"name":"conference_id","label":"Conference ID","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":"15","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":"9","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":"0","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":"60% - 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":"2","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)"}}]}}