{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T20:34:00Z","timestamp":1725914040454},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319684987"},{"type":"electronic","value":"9783319684994"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-68499-4_16","type":"book-chapter","created":{"date-parts":[[2017,10,18]],"date-time":"2017-10-18T06:35:37Z","timestamp":1508308537000},"page":"241-250","source":"Crossref","is-referenced-by-count":4,"title":["Theories, Techniques and Tools for Engineering Heterogeneous Railway Networks"],"prefix":"10.1007","author":[{"given":"Paulius","family":"Stankaitis","sequence":"first","affiliation":[]},{"given":"Alexei","family":"Iliasov","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,10,19]]},"reference":[{"key":"16_CR1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-book: Assigning Programs to Meanings","author":"J-R Abrial","year":"1996","unstructured":"Abrial, J.-R.: The B-book: Assigning Programs to Meanings. Cambridge University Press, New York (1996)"},{"key":"16_CR2","volume-title":"Modeling in Event-B: System and Software Engineering","author":"J-R Abrial","year":"2013","unstructured":"Abrial, J.-R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, New York (2013)"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Alur, R.: Formal verification of hybrid systems. In: Proceedings of the Ninth ACM International Conference on Embedded Software, EMSOFT 2011, pp. 273\u2013278. ACM, New York (2011)","DOI":"10.1145\/2038642.2038685"},{"issue":"1","key":"16_CR4","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R Alur","year":"1995","unstructured":"Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P.-H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Theor. Comput. Sci. 138(1), 3\u201334 (1995)","journal-title":"Theor. Comput. Sci."},{"key":"16_CR5","series-title":"Lecture Notes in Computer Science","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\u00a0systems characterized by continuous functions. In: Li, X., Liu, Z., Yi, W. (eds.) SETTA 2015. LNCS, vol. 9409, pp. 55\u201370. Springer, Cham (2015). doi:\n10.1007\/978-3-319-25942-0_4"},{"key":"16_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/3-540-52559-9_61","volume-title":"Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness","author":"RJR Back","year":"1990","unstructured":"Back, R.J.R.: Refinement calculus, part II: parallel and reactive programs. In: Bakker, J.W., Roever, W.-P., Rozenberg, G. (eds.) REX 1989. LNCS, vol. 430, pp. 67\u201393. Springer, Heidelberg (1990). doi:\n10.1007\/3-540-52559-9_61"},{"key":"16_CR7","doi-asserted-by":"crossref","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":"16_CR8","unstructured":"Banci, M., Fantechi, A., Gnesi, S.: The role of formal methods in developing a distributed railway interlocking system. In: Proceedings of the 5th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS\/FORMAT 2004), pp. 220\u2013230 (2004)"},{"issue":"4","key":"16_CR9","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1023\/A:1016503426126","volume":"6","author":"M Butler","year":"2002","unstructured":"Butler, M.: A system-based approach to the formal development of embedded controllers for a railway. Des. Autom. Embed. Syst. 6(4), 355\u2013366 (2002)","journal-title":"Des. Autom. Embed. Syst."},{"key":"16_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1584","DOI":"10.1007\/3-540-48118-4_34","volume-title":"FM\u201999 \u2014 Formal Methods","author":"A Cimatti","year":"1999","unstructured":"Cimatti, A., Pieraccini, P.L., Sebastiani, R., Traverso, P., Villafiorita, A.: Formal specification and validation of a vital communication protocol. In: Wing, J.M., Woodcock, J., Davies, J. (eds.) FM 1999. LNCS, vol. 1709, pp. 1584\u20131604. Springer, Heidelberg (1999). doi:\n10.1007\/3-540-48118-4_34"},{"key":"16_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/978-3-642-02658-4_17","volume-title":"Computer Aided Verification","author":"A Cimatti","year":"2009","unstructured":"Cimatti, A., Roveri, M., Tonetta, S.: Requirements validation for hybrid systems. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol. 5643, pp. 188\u2013203. Springer, Heidelberg (2009). doi:\n10.1007\/978-3-642-02658-4_17"},{"issue":"5","key":"16_CR12","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1080\/00207170600587531","volume":"79","author":"W Damm","year":"2006","unstructured":"Damm, W., Hungar, H., Olderog, E.R.: Verification of cooperating traffic agents. Int. J. Control 79(5), 395\u2013421 (2006)","journal-title":"Int. J. Control"},{"key":"16_CR13","unstructured":"George, C., Haxthausen, A.E., Hughes, S., Milne, R., Prehn, S., Pedersen, J.S.: The RAISE Development Method. Prentice Hall International (1995)"},{"issue":"8","key":"16_CR14","doi-asserted-by":"crossref","first-page":"687","DOI":"10.1109\/32.879808","volume":"26","author":"AE Haxthausen","year":"2000","unstructured":"Haxthausen, A.E., Peleska, J.: Formal development and verification of a distributed railway control system. IEEE Trans. Software Eng. 26(8), 687\u2013701 (2000)","journal-title":"IEEE Trans. Software Eng."},{"key":"16_CR15","doi-asserted-by":"crossref","unstructured":"Hei, X., Takahashi, S., Hideo, N.: Toward developing a decentralized railway signalling system using petri nets. In: Proceedings of the IEEE Conference on Robotics, Automation and Mechatronics, pp. 851\u2013855 (2008)","DOI":"10.1109\/RAMECH.2008.4681511"},{"key":"16_CR16","unstructured":"Hermanns, H., Jansen, D.N., Usenko, Y.S.: A comparative reliability analysis of ETCS train radio communications. Reports of SFB\/TR 14 AVACS 2, SFB\/TR 14 AVACS, February 2005. ISSN: 1860-9821. \nhttp:\/\/www.avacs.org"},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"Iliasov, A., Lopatkin, I., Romanovsky, A.: Unified Train Driving Policy, pp. 447\u2013474. Wiley (2014)","DOI":"10.1002\/9781119002727.ch15"},{"issue":"Special Centenn","key":"16_CR18","first-page":"1287","volume":"100","author":"KD Kim","year":"2012","unstructured":"Kim, K.D., Kumar, P.R.: Cyber-physical systems: a perspective at the centennial. Proc. IEEE 100(Special Centennial Issue), 1287\u20131308 (2012)","journal-title":"Proc. IEEE"},{"key":"16_CR19","doi-asserted-by":"crossref","unstructured":"Kiss, T., J\u00e1nosi-Rancz, K.T.: Developing railway interlocking systems with session types and Event-B. In: Proceedings of the IEEE 11th International Symposium on Applied Computational Intelligence and Informatics (SACI), pp. 93\u201398, May 2016","DOI":"10.1109\/SACI.2016.7507347"},{"key":"16_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/978-3-540-75221-9_18","volume-title":"Formal Methods and Hybrid Real-Time Systems","author":"J Knudsen","year":"2007","unstructured":"Knudsen, J., Ravn, A.P., Skou, A.: Design verification patterns. In: Jones, C.B., Liu, Z., Woodcock, J. (eds.) Formal Methods and Hybrid Real-Time Systems. LNCS, vol. 4700, pp. 399\u2013413. Springer, Heidelberg (2007). doi:\n10.1007\/978-3-540-75221-9_18"},{"key":"16_CR21","doi-asserted-by":"crossref","unstructured":"Liu, Y., Tang, T., Liu, J., Zhao, L., Xu, T.: Formal modeling and verification of RBC handover of ETCS using differential dynamic logic. In: Proceedings of the International Symposium on the Autonomous Decentralized Systems (ISADS), pp. 67\u201372. IEEE (2011)","DOI":"10.1109\/ISADS.2011.15"},{"key":"16_CR22","unstructured":"Madsen, M.S., B\u00e6k, M.M.: Modelling a distributed railway control system. Master\u2019s thesis, Technical University of Denmark, DTU, DK-2800 Kgs, Lyngby, Denmark (2005)"},{"key":"16_CR23","unstructured":"Morley, M.J.: Safety assurance in interlocking design. PhD thesis (1996)"},{"issue":"2","key":"16_CR24","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/s10817-008-9103-8","volume":"41","author":"A Platzer","year":"2008","unstructured":"Platzer, A.: Differential dynamic logic for hybrid systems. J. Autom. Reason. 41(2), 143\u2013189 (2008)","journal-title":"J. Autom. Reason."},{"key":"16_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1007\/978-3-642-15205-4_36","volume-title":"Computer Science Logic","author":"A Platzer","year":"2010","unstructured":"Platzer, A.: Quantified differential dynamic logic for distributed hybrid systems. In: Dawar, A., Veith, H. (eds.) CSL 2010. LNCS, vol. 6247, pp. 469\u2013483. Springer, Heidelberg (2010). doi:\n10.1007\/978-3-642-15205-4_36"},{"key":"16_CR26","series-title":"Lecture Notes in Computer Science","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, vol. 5195, pp. 171\u2013178. Springer, Heidelberg (2008). doi:\n10.1007\/978-3-540-71070-7_15"},{"key":"16_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1007\/978-3-642-10373-5_13","volume-title":"Formal Methods and Software Engineering","author":"A Platzer","year":"2009","unstructured":"Platzer, A., Quesel, J.-D.: European train control system: a case study in formal verification. In: Breitman, K., Cavalcanti, A. (eds.) ICFEM 2009. LNCS, vol. 5885, pp. 246\u2013265. Springer, Heidelberg (2009). doi:\n10.1007\/978-3-642-10373-5_13"},{"key":"16_CR28","unstructured":"ADVANCE project: Final report on application on railway domai, deliverable d1.4 workpackage 1. Technical report, 30 November 2014"},{"key":"16_CR29","unstructured":"INTO-CPS project: Case studies 2, deliverable d1.2. Technical report, November 2016"},{"key":"16_CR30","doi-asserted-by":"crossref","unstructured":"Sha, L., Gopalakrishnan, S., Liu, X., Wang, Q.: Cyber-physical systems: a new frontier. In: Proceedings of the IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing, SUTC 2008, pp. 1\u20139, June 2008","DOI":"10.1109\/SUTC.2008.85"},{"key":"16_CR31","doi-asserted-by":"crossref","unstructured":"Silva, B.I., Stursberg, O., Krogh, B.H., Engell, S.: An assessment of the current status of algorithmic approaches to the verification of hybrid systems. In: Proceedings of the 40th IEEE Conference on Decision and Control, vol. 3, pp. 2867\u20132874. IEEE (2001)","DOI":"10.1109\/CDC.2001.980711"},{"key":"16_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/978-3-319-33951-1_11","volume-title":"Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification","author":"P Stankaitis","year":"2016","unstructured":"Stankaitis, P., Iliasov, A.: Safety verification of heterogeneous railway networks. In: Lecomte, T., Pinger, R., Romanovsky, A. (eds.) RSSRail 2016. LNCS, vol. 9707, pp. 150\u2013159. Springer, Cham (2016). doi:\n10.1007\/978-3-319-33951-1_11"}],"container-title":["Lecture Notes in Computer Science","Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-68499-4_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,10,18]],"date-time":"2017-10-18T06:39:06Z","timestamp":1508308746000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-68499-4_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319684987","9783319684994"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-68499-4_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}