{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,8]],"date-time":"2026-07-08T17:00:42Z","timestamp":1783530042178,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540651109","type":"print"},{"value":"9783540496465","type":"electronic"}],"license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"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":[[1998]]},"DOI":"10.1007\/3-540-49646-7_23","type":"book-chapter","created":{"date-parts":[[2007,6,12]],"date-time":"2007-06-12T01:09:52Z","timestamp":1181610592000},"page":"296-305","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":15,"title":["EURIS, a Specification Method for Distributed Interlockings"],"prefix":"10.1007","author":[{"given":"Fokko","family":"van Dijk","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Wan","family":"Fokkink","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Gea","family":"Kolk","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Paul","family":"van de Ven","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bas","family":"van Vlijmen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2001,12,14]]},"reference":[{"issue":"2","key":"23_CR1","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/BF01214556","volume":"8","author":"J.C.M. Baeten","year":"1996","unstructured":"J.C.M. Baeten en J.A. Bergstra. Discrete time process algebra. Formal Aspects of Computing, 8(2):188\u2013208, 1996.","journal-title":"Formal Aspects of Computing"},{"key":"23_CR2","unstructured":"J.W.F.M. Beljaars. Proze\\ Ablauf Pl\u00e4ne: introduction to a specification method. Report 1992\/JBe\/3, IB ETS-T&K, 1992. In Dutch."},{"key":"23_CR3","unstructured":"J. Berger, P. Middelraad, and A.J. Smith. EURIS, European railway interlocking specification. UIC, Commission 7A\/16, May 1992."},{"key":"23_CR4","unstructured":"J.A. Bergstra, W.J. Fokkink, W.M.T. Mennen, and S.F.M. vanVlijmen. Railway Logic via EURIS. Quaestiones Infinitae XXII, Zeno Institute of Philosophy, 1997."},{"key":"23_CR5","unstructured":"W.J. Fokkink. Safety criteria for the vital processor interlocking at Hoorn-Kersenboogerd. In Proceedings 5th Conference on Computers in Railways (COMP-RAIL\u201996), Berlin, pp. 101\u2013110. Computational Mechanics Publications, 1996."},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"F.J. van Dijk, W.J. Fokkink, G.P. Kolk, P.H.J. van de Ven, and S.F.M. van Vlijmen. EURIS, a specification method for distributed interlockings. Technical Report, Department of Computer Science, University of Wales Swansea, 1998.","DOI":"10.1007\/3-540-49646-7_23"},{"key":"23_CR7","unstructured":"J.F. Groote, M. Hollenberg, and S.F.M. van Vlijmen. LARIS 1.0: language for railway interlocking specification. Report, CWI, Amsterdam, 1998, To appear."},{"key":"23_CR8","unstructured":"J.F. Groote, J.W.C. Koorn, and S.F.M. vanVlijmen. The safety guaranteeing system at station Hoorn-Kersenboogerd. In Proceedings 10th IEEE Conference on Computer Assurance (COMPASS\u201995), Gaithersburg, pp. 131\u2013150. IEEE, 1995."},{"key":"23_CR9","unstructured":"F. Makkinga. IDEAL, interlocking design and application language guide and reference. Holland Railconsult, 1994."},{"key":"23_CR10","unstructured":"F. Makkinga and F.J. van Dijk. EURIS-simulation tutorial reference. Holland Rail-consult, 1995."},{"key":"23_CR11","unstructured":"D. van der Meij and P. Middelraad. UniSpec. NS Railinfrabeheer, 1996."}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability and Security"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49646-7_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T09:30:52Z","timestamp":1558258252000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49646-7_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540651109","9783540496465"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-49646-7_23","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[1998]]},"assertion":[{"value":"14 December 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}