{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T08:13:32Z","timestamp":1742976812902,"version":"3.40.3"},"publisher-location":"Dordrecht","reference-count":20,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9789400772618"},{"type":"electronic","value":"9789400772625"}],"license":[{"start":{"date-parts":[[2013,11,13]],"date-time":"2013-11-13T00:00:00Z","timestamp":1384300800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,11,13]],"date-time":"2013-11-13T00:00:00Z","timestamp":1384300800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-94-007-7262-5_46","type":"book-chapter","created":{"date-parts":[[2013,11,12]],"date-time":"2013-11-12T17:02:50Z","timestamp":1384275770000},"page":"389-399","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Formal Specification of Railway Control Systems"],"prefix":"10.1007","author":[{"given":"Bingqing","family":"Xu","sequence":"first","affiliation":[]},{"given":"Lichen","family":"Zhang","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,11,13]]},"reference":[{"issue":"1","key":"46_CR1","doi-asserted-by":"publisher","first-page":"87","DOI":"10.5370\/JEET.2009.4.1.087","volume":"4","author":"H-J Jo","year":"2009","unstructured":"Jo H-J, Yoon Y-K, Hwang J-G (2009) Analysis of the formal specification application for train control systems. J Electr Eng Technol 4(1):87\u201392","journal-title":"J Electr Eng Technol"},{"key":"46_CR2","unstructured":"IEC62278:2002 Railway applications: Specification and demonstration of reliability, availability, maintainability and safety (RAMS)"},{"key":"46_CR3","doi-asserted-by":"crossref","unstructured":"Reed GM, Roseoe AW (1986) A timed model for communicating sequential processes. Pro ICALP\u201986. Lecture notes in computer science. Springer, Berlin","DOI":"10.1007\/3-540-16761-7_81"},{"key":"46_CR4","unstructured":"He J (2013) A clock-based framework for constructions of hybrid systems. Key talk. In the Proceedings of ICTAC\u20192013"},{"issue":"3","key":"46_CR5","first-page":"45","volume":"6","author":"B Xu","year":"2013","unstructured":"Xu B, He J, Zhang L (2013) Specification of cyber physical systems based on clock theory. Int J Hybrid Inf Technol 6(3):45\u201354","journal-title":"Int J Hybrid Inf Technol"},{"key":"46_CR6","first-page":"111","volume":"20","author":"B Xu","year":"2013","unstructured":"Xu B et al (2013) Specification of cyber physical systems by clock. AST2013. ASTL 20: 111\u2013114, Yeosu, South Korea","journal-title":"AST2013. ASTL"},{"key":"46_CR7","unstructured":"He J (2012) Link continuous world with discrete world. Shanghai Key Laboratory of Trustworthy Computing East China Normal University, China"},{"key":"46_CR8","unstructured":"Hoenicke J Specification of Radio based railway crossings with the combination of CSP, OZ, and DC. http:\/\/citeseerx.ist.psu.edu\/viewdoc\/summary?doi=10.1.1.21.4394"},{"key":"46_CR9","unstructured":"Hoenicke J (2006) Combination of processes, data, and time. PhD thesis, University of Oldenburg"},{"key":"46_CR10","doi-asserted-by":"crossref","unstructured":"Hoenicke J, Maier P (2005) Model-checking of specifications integrating processes, data and time. In: Fitzgerald JS, Hayes IJ, Tarlecki A (eds) FM 2005, volume 3582 of LNCS, Springer, pp 465\u2013480","DOI":"10.1007\/11526841_31"},{"issue":"4","key":"46_CR11","first-page":"301","volume":"9","author":"J Hoenicke","year":"2002","unstructured":"Hoenicke J, Olderog E-R (2002) CSP-OZ-DC: a combination of specification techniques for processes, data and time. Nordic J Comput 9(4):301\u2013334","journal-title":"Nordic J Comput"},{"key":"46_CR12","doi-asserted-by":"crossref","unstructured":"Hoenicke J, E-R Olderog (2002) Combining specification techniques for processes data and time. In: Butler M, Petre L, Sere K (eds) Integrated formal methods, volume 2335 of lecture notes in computer science, Springer, pp 245\u2013266","DOI":"10.1007\/3-540-47884-1_14"},{"key":"46_CR13","doi-asserted-by":"crossref","unstructured":"Gnesi S, Latella D, Lenzini G, Amendola A, Abbaneo C, Marmo P (2000) A formal specification and validation of a safety critical railway control system. In: Fifth international workshop on formal methods for industrial critical systems, FMICS 2000, Berlin, Germany, April 3\u20134 2000","DOI":"10.1007\/3-540-46419-0_36"},{"key":"46_CR14","doi-asserted-by":"crossref","unstructured":"Zafar NA (2006) Modeling and formal specification of automated train control system using Z notation. Multitopic conference. INMIC \u201806. IEEE, pp 438\u2013443, 23\u201324 December 2006","DOI":"10.1109\/INMIC.2006.358207"},{"key":"46_CR15","doi-asserted-by":"crossref","unstructured":"Peleska J Baer A, Haxthausen AE Towards domain-specific formal specification languages for railway control systems.http:\/\/www.informatik.uni-bremen.de\/agbs\/jp\/papers\/trans2000.html","DOI":"10.1016\/S1474-6670(17)38134-X"},{"issue":"8","key":"46_CR16","doi-asserted-by":"crossref","first-page":"687","DOI":"10.1109\/32.879808","volume":"26","author":"AE Haxthausen","year":"2000","unstructured":"Haxthausen AE, Peleska J (2000) Formal development and verification of a distributed railway control system. IEEE Trans Software Eng 26(8):687\u201370","journal-title":"IEEE Trans Software Eng"},{"key":"46_CR17","doi-asserted-by":"crossref","unstructured":"Xie G, Asano A, Sei Takahashi, Hideo Nakamura, (2011) Study on formal specification of automatic train protection and block system for local line. ssiri-c, Fifth international conference on secure software integration and reliability improvement\u2014companion, pp 35\u201340","DOI":"10.1109\/SSIRI-C.2011.16"},{"key":"46_CR18","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1023\/A:1008645826258","volume":"12","author":"C Bernardeschi","year":"1998","unstructured":"Bernardeschi C, Fantechi A, Gnesi S, Larosa S, Mongardi G, Romano D (1998) A formal verification environment for railway signaling system design. Formal Methods Syst Design 12:139\u2013161","journal-title":"Formal Methods Syst Design"},{"key":"46_CR19","doi-asserted-by":"crossref","unstructured":"Chiappini A et al (2010) Formalization and validation of a subset of the European train control system. ICSE\u201910, Cape Town, South Africa, 2\u20138 May 2010","DOI":"10.1145\/1810295.1810312"},{"key":"46_CR20","doi-asserted-by":"crossref","unstructured":"Heitmeyer C, Lynch N (1994) The generalized railroad crossing: a case study in formal verification of real-time systems. In: Proceedings of real-time systems symposium, pp 120\u2013131","DOI":"10.1109\/REAL.1994.342724"}],"container-title":["Lecture Notes in Electrical Engineering","Advanced Technologies, Embedded and Multimedia for Human-centric Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-94-007-7262-5_46","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,19]],"date-time":"2023-01-19T14:31:33Z","timestamp":1674138693000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-94-007-7262-5_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11,13]]},"ISBN":["9789400772618","9789400772625"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-94-007-7262-5_46","relation":{},"ISSN":["1876-1100","1876-1119"],"issn-type":[{"type":"print","value":"1876-1100"},{"type":"electronic","value":"1876-1119"}],"subject":[],"published":{"date-parts":[[2013,11,13]]},"assertion":[{"value":"13 November 2013","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}