{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T14:44:05Z","timestamp":1725806645437},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319122403"},{"type":"electronic","value":"9783319122410"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-12241-0_10","type":"book-chapter","created":{"date-parts":[[2014,10,8]],"date-time":"2014-10-08T07:39:08Z","timestamp":1412753948000},"page":"131-138","source":"Crossref","is-referenced-by-count":0,"title":["Advanced Modelling, Simulation and Verification for Future Traffic Regulation Optimisation"],"prefix":"10.1007","author":[{"given":"Alexei","family":"Iliasov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Palacin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Romanovsky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"The Rail Technical Strategy 2012. The Technical Strategy Leadership Group, UK (2012), \n                    \n                      http:\/\/www.futurerailway.org\/RTS\/Pages\/Intro.aspx"},{"key":"10_CR2","unstructured":"European Rail Traffic Management System, \n                    \n                      http:\/\/www.ertms.net"},{"key":"10_CR3","unstructured":"Technical Strategy Leadership Group, UK, \n                    \n                      http:\/\/www.rssb.co.uk\/groups-and-committees\/rssb-board\/technical-strategy\/technical-strategy-leadership-group"},{"key":"10_CR4","unstructured":"The SafeCap project: Overcoming the railway capacity challenges without undermining rail network safety, \n                    \n                      http:\/\/www.safecap.co.uk\/"},{"key":"10_CR5","unstructured":"The SafeCap Eclipse environment for improving node capacity using formal methods, \n                    \n                      http:\/\/safecap.sourceforge.net\/index.shtml"},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/978-3-642-40793-2_12","volume-title":"Computer Safety, Reliability, and Security","author":"A. Iliasov","year":"2013","unstructured":"Iliasov, A., Lopatkin, I., Romanovsky, A.: The SafeCap Platform for Modelling Railway Safety and Capacity. In: Bitsch, F., Guiochet, J., Ka\u00e2niche, M. (eds.) SAFECOMP 2013. LNCS, vol.\u00a08153, pp. 130\u2013137. Springer, Heidelberg (2013)"},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/978-3-642-40894-6_10","volume-title":"Software Engineering for Resilient Systems","author":"A. Iliasov","year":"2013","unstructured":"Iliasov, A., Lopatkin, I., Romanovsky, A.: The SafeCap Project on Railway Safety Verification and Capacity Simulation. In: Gorbenko, A., Romanovsky, A., Kharchenko, V. (eds.) SERENE 2013. LNCS, vol.\u00a08166, pp. 125\u2013132. Springer, Heidelberg (2013)"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Iliasov, A., Lopatkin, I., Mihut, A., Romanovsky, A.: Real-time ATO reconfiguration for operational stability. In: Computers in Railways XIV: Railway Engineering Design and Optimization 135, pp. 163\u2013173. WIT Press (2014)","DOI":"10.2495\/CR140131"},{"key":"10_CR9","doi-asserted-by":"publisher","first-page":"509","DOI":"10.1016\/j.enconman.2014.01.060","volume":"80","author":"A. Gonz\u00e1lez-Gil","year":"2014","unstructured":"Gonz\u00e1lez-Gil, A., Palacin, R., Batty, P., Powell, J.P.: A systems approach to reduce urban rail energy consumption. Energy Conversion and Management\u00a080, 509\u2013524 (2014)","journal-title":"Energy Conversion and Management"},{"issue":"1-2","key":"10_CR10","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1016\/j.applthermaleng.2014.02.057","volume":"66","author":"J.P. Powell","year":"2014","unstructured":"Powell, J.P., Gonz\u00e1lez-Gil, A., Palacin, R.: Experimental assessment of the energy consumption of urban rail vehicles during stabling hours: influence of ambient temperature. Applied Thermal Engineering\u00a066(1-2), 541\u2013547 (2014)","journal-title":"Applied Thermal Engineering"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Iliasov, A., Romanovsky, A.: SafeCap domain language for reasoning\u00a0about safety and capacity. In: Workshop on Dependable Transportation Systems at the Pacific-Rim Dependable Computing Conference (PRDC 2012), Niigata, Japan. IEEE CS (2012)","DOI":"10.1109\/WDTS-RASD.2012.11"}],"container-title":["Lecture Notes in Computer Science","Software Engineering for Resilient Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-12241-0_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T22:24:27Z","timestamp":1558995867000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-12241-0_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319122403","9783319122410"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-12241-0_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}