{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T06:12:02Z","timestamp":1725862322492},"publisher-location":"Cham","reference-count":9,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319434247"},{"type":"electronic","value":"9783319434254"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-43425-4_23","type":"book-chapter","created":{"date-parts":[[2016,8,2]],"date-time":"2016-08-02T11:24:52Z","timestamp":1470137092000},"page":"348-363","source":"Crossref","is-referenced-by-count":5,"title":["Performance Evaluation of Train Moving-Block Control"],"prefix":"10.1007","author":[{"given":"Giovanni","family":"Neglia","sequence":"first","affiliation":[]},{"given":"Sara","family":"Alouf","sequence":"additional","affiliation":[]},{"given":"Abdulhalim","family":"Dandoush","sequence":"additional","affiliation":[]},{"given":"Sebastien","family":"Simoens","sequence":"additional","affiliation":[]},{"given":"Pierre","family":"Dersin","sequence":"additional","affiliation":[]},{"given":"Alina","family":"Tuholukova","sequence":"additional","affiliation":[]},{"given":"J\u00e9r\u00f4me","family":"Billion","sequence":"additional","affiliation":[]},{"given":"Pascal","family":"Derouet","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,8,3]]},"reference":[{"key":"23_CR1","series-title":"Advances in Intelligent Systems and Computing","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1007\/978-3-319-07013-1_4","volume-title":"Proceedings of the Ninth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX","author":"T Babczy\u0144ski","year":"2014","unstructured":"Babczy\u0144ski, T., Magott, J.: Dependability and safety analysis of ETCS communication for ERTMS level 3 using performance statecharts and analytic estimation. In: Zamojski, W., Mazurkiewicz, J., Sugier, J., Walkowiak, T., Kacprzyk, J. (eds.) DepCoS-RELCOMEX. AISC, vol. 286, pp. 37\u201346. Springer, Heidelberg (2014)"},{"key":"23_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/978-3-319-23267-6_4","volume-title":"Computer Performance Engineering","author":"L Carnevali","year":"2015","unstructured":"Carnevali, L., Flammini, F., Paolieri, M., Vicario, E.: Non-Markovian performability evaluation of ERTMS\/ETCS level 3. In: Beltr\u00e1n, M., Knottenbelt, W., Bradley, J. (eds.) EPEW 2015. LNCS, pp. 47\u201362. Springer, Heidelberg (2015)"},{"issue":"1","key":"23_CR3","doi-asserted-by":"crossref","first-page":"1450001","DOI":"10.1142\/S0218539314500016","volume":"21","author":"F Flammini","year":"2014","unstructured":"Flammini, F., Marrone, S., Iacono, M., Mazzocca, N., Vittorini, V.: A multiformalism modular approach to ERTMS\/ETCS failure modeling. Int. J. Reliab. Qual. Saf. Eng. 21(1), 1450001 (2014). (29 pages)","journal-title":"Int. J. Reliab. Qual. Saf. Eng."},{"key":"23_CR4","doi-asserted-by":"crossref","unstructured":"Neglia, G., et al.: Performance evaluation of train moving-block control. Research Report RR-8917. Inria, May 2016","DOI":"10.1007\/978-3-319-43425-4_23"},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"Hermanns, H., Jansen, D.N., Usenko, Y.S.: From StoCharts to MoDeST: A comparative reliability analysis of train radio communications. In: Proceedings of WOSP 2005, pp. 13\u201323 (2005)","DOI":"10.1145\/1071021.1071023"},{"issue":"7\u20138","key":"23_CR6","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1016\/j.peva.2011.11.002","volume":"69","author":"A Horv\u00e1th","year":"2012","unstructured":"Horv\u00e1th, A., Paolieri, M., Ridi, L., Vicario, E.: Transient analysis of non-Markovian models using stochastic state classes. Perform. Eval. 69(7\u20138), 315\u2013335 (2012)","journal-title":"Perform. Eval."},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"Trowitzsch, J., Zimmermann, A.: Using UML state machines and petri nets for the quantitative investigation of ETCS. In: Proceedings of Valuetools 2006 (2006)","DOI":"10.1145\/1190095.1190138"},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"Zimmermann, A., Hommel, G.: A train control system case study in model-based real time system design. In: Proceedings of IPDPS 2003 (2003)","DOI":"10.1109\/IPDPS.2003.1213234"},{"issue":"1","key":"23_CR9","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/j.jss.2003.12.039","volume":"77","author":"A Zimmermann","year":"2005","unstructured":"Zimmermann, A., Hommel, G.: Towards modeling and evaluation of ETCS real-time communication and operation. J. Syst. Softw. 77(1), 47\u201354 (2005)","journal-title":"J. Syst. Softw."}],"container-title":["Lecture Notes in Computer Science","Quantitative Evaluation of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-43425-4_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,11]],"date-time":"2019-09-11T22:15:51Z","timestamp":1568240151000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-43425-4_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319434247","9783319434254"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-43425-4_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}