{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,8]],"date-time":"2026-07-08T17:00:41Z","timestamp":1783530041393,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540344544","type":"print"},{"value":"9783540344551","type":"electronic"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"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":[[2006]]},"DOI":"10.1007\/11759744_1","type":"book-chapter","created":{"date-parts":[[2006,6,2]],"date-time":"2006-06-02T08:27:50Z","timestamp":1149236870000},"page":"1-15","source":"Crossref","is-referenced-by-count":3,"title":["Simulated Time for Testing Railway Interlockings with TTCN-3"],"prefix":"10.1007","author":[{"given":"Stefan","family":"Blom","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Natalia","family":"Ioustinova","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jaco","family":"van de Pol","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Axel","family":"Rennoch","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Natalia","family":"Sidorova","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"5","key":"1_CR1","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0020-0190(83)90092-3","volume":"16","author":"E.W. Dijkstra","year":"1983","unstructured":"Dijkstra, E.W., Feijen, W.H.J., Gasteren, A.J.M.v.: Derivation of a termination detection algorithm for distributed computations. Information Processing Letters\u00a016(5), 217\u2013219 (1983)","journal-title":"Information Processing Letters"},{"key":"1_CR2","unstructured":"ETSI ES 201 873-1 V2.2.1 (2003-02). Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; Part 1: TTCN-3 Core Language. ETSI Standard"},{"key":"1_CR3","unstructured":"ETSI ES 201 873-4 V2.2.1 (2003-02). Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; Part 4: TTCN-3 Operational Semantics. ETSI Standard"},{"key":"1_CR4","unstructured":"ETSI ES 201 873-5 V1.1.1 (2003-02). Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; Part 5: TTCN-3 Runtime Interface (TRI). ETSI Standard"},{"key":"1_CR5","unstructured":"ETSI ES 201 873-6 V1.1.1 (2003-02). Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; Part 6: TTCN-3 Control Interface (TCI). ETSI Standard"},{"key":"1_CR6","unstructured":"Fokkink, W.J.: Safety criteria for the vital processor interlocking at hoorn-kersenboogerd. In: Allan, J., Brebbia, C.A., Hill, R.J., Sciutto, G., Sone, S. (eds.) Proc. 5th Conference on Computers in Railways - COMPRAIL 1996, Railway Systems and Management, Computational Mechanics, Berlin, vol.\u00a0I, pp. 101\u2013110 (1996)"},{"key":"1_CR7","first-page":"119","volume-title":"DSN 2000: Proceedings of the 2000 International Conference on Dependable Systems and Networks (formerly FTCS-30 and DCCA-8)","author":"S. Gnesi","year":"2000","unstructured":"Gnesi, S., Latella, D., Lenzini, G., Abbaneo, C., Amendola, A.M., Marmo, P.: An automatic spin validation of a safety critical railway control system. In: DSN 2000: Proceedings of the 2000 International Conference on Dependable Systems and Networks (formerly FTCS-30 and DCCA-8), pp. 119\u2013124. IEEE Computer Society, Los Alamitos (2000)"},{"issue":"3","key":"1_CR8","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1016\/S1389-1286(03)00249-4","volume":"42","author":"J. Grabowski","year":"2003","unstructured":"Grabowski, J., Hogrefe, D., R\u00e9thy, G., Schieferdecker, I., Wiles, A., Willcock, C.: An introduction into the testing and test control notation (TTCN-3). Computer Networks\u00a042(3), 375\u2013403 (2003)","journal-title":"Computer Networks"},{"key":"1_CR9","unstructured":"Haxthausen, A.E., Peleska, J.: Automatic verification, validation and test for railway control systems based on domain-specific descriptions"},{"key":"1_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"545","DOI":"10.1007\/3-540-55719-9_103","volume-title":"Automata, Languages and Programming","author":"T.A. Henzinger","year":"1992","unstructured":"Henzinger, T.A., Manna, Z., Pnueli, A.: What good are digital clocks? In: Kuich, W. (ed.) ICALP 1992. LNCS, vol.\u00a0623, pp. 545\u2013558. Springer, Heidelberg (1992)"},{"key":"1_CR11","unstructured":"Marscheck, U.: Elektronische Stellwerke-internationale \u00dcberblick. SIGNAL+DRAHT\u00a089 (1997)"},{"key":"1_CR12","doi-asserted-by":"publisher","first-page":"526","DOI":"10.1007\/BFb0032006","volume-title":"Proc. of the Real-Time: Theory in Practice, REX Workshop","author":"X. Nicollin","year":"1992","unstructured":"Nicollin, X., Sifakis, J.: An overview and synthesis on timed process algebras. In: Proc. of the Real-Time: Theory in Practice, REX Workshop, pp. 526\u2013548. Springer, Heidelberg (1992)"},{"key":"1_CR13","unstructured":"<testing_tech> Testing Technologies, \n                    \n                      http:\/\/www.testingtech.de"},{"key":"1_CR14","unstructured":"TTMedal. Testing and Testing Methodologies for Advanced Languages, \n                    \n                      http:\/\/www.tt-medal.org"},{"key":"1_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1007\/3-540-49646-7_23","volume-title":"Computer Safety, Reliability and Security","author":"F.J. Dijk van","year":"1998","unstructured":"van Dijk, F.J., Fokkink, W.J., Kolk, G.P., van de Ven, P.H.J., van Vlijmen, S.F.M.: Euris, a specification method for distributed interlockings. In: Ehrenberger, W. (ed.) SAFECOMP 1998. LNCS, vol.\u00a01516, pp. 296\u2013305. Springer, Heidelberg (1998)"}],"container-title":["Lecture Notes in Computer Science","Formal Approaches to Software Testing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11759744_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,11]],"date-time":"2019-03-11T22:20:19Z","timestamp":1552342819000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11759744_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540344544","9783540344551"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/11759744_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}