{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T13:49:18Z","timestamp":1725716958499},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642357633"},{"type":"electronic","value":"9783642357640"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-35764-0_14","type":"book-chapter","created":{"date-parts":[[2013,2,18]],"date-time":"2013-02-18T14:41:39Z","timestamp":1361198499000},"page":"187-204","source":"Crossref","is-referenced-by-count":1,"title":["A One-Dimensional Sparse Space-Time Specification of the Generalized Railroad Crossing"],"prefix":"10.1007","author":[{"given":"Michael","family":"Gosnell","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bruce","family":"McMillin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"11","key":"14_CR1","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"J. Allen","year":"1983","unstructured":"J. Allen, Maintaining knowledge about temporal intervals, Communications of the ACM, vol. 26(11), pp. 832\u2013843, 1983.","journal-title":"Communications of the ACM"},{"issue":"3","key":"14_CR2","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1305\/ndjfl\/1093883455","volume":"22","author":"B. Clarke","year":"1981","unstructured":"B. Clarke, A calculus of individuals based on \u201cconnection,\u201d Notre Dame Journal of Formal Logic, vol. 22(3), pp. 204\u2013218, 1981.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"14_CR3","first-page":"312","volume-title":"Proceedings of the Fifteenth European Conference on Artificial Intelligence","author":"A. Gerevini","year":"2002","unstructured":"A. Gerevini and B. Nebel, Qualitative spatio-temporal reasoning with RCC-8 and Allen\u2019s interval calculus: Computational complexity, Proceedings of the Fifteenth European Conference on Artificial Intelligence, pp. 312\u2013316, 2002."},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"M. Gosnell and B. McMillin, Sparse Space-time Specification of the Generalized Railroad Crossing, Technical Report CSC-12-01, Department of Computer Science, Missouri University of Science and Technology, Rolla, Missouri, 2012.","DOI":"10.1007\/978-3-642-35764-0_14"},{"issue":"8","key":"14_CR5","doi-asserted-by":"publisher","first-page":"687","DOI":"10.1109\/32.879808","volume":"26","author":"A. Haxthausen","year":"2000","unstructured":"A. Haxthausen and J. Peleska, Formal development and verification of a distributed railway control system, IEEE Transactions on Software Engineering, vol. 26(8), pp. 687\u2013701, 2000.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"14_CR6","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1109\/REAL.1994.342724","volume-title":"Proceedings of the Real-Time Systems Symposium","author":"C. Heitmeyer","year":"1994","unstructured":"C. Heitmeyer and N. Lynch, The generalized railroad crossing: A case study in formal verification of real-time systems, Proceedings of the Real-Time Systems Symposium, pp. 120\u2013131, 1994."},{"key":"14_CR7","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1007\/978-1-4020-5587-4_9","volume-title":"Handbook of Spatial Logics","author":"R. Kontchakov","year":"2007","unstructured":"R. Kontchakov, A. Kurucz, F. Wolter and M. Zakharyaschev, Spatial logic + temporal logic = ? in Handbook of Spatial Logics, M. Aiello, I. Pratt-Hartmann and J. van Benthem (Eds.), Springer, Dordrecht, The Netherlands, pp. 497\u2013564, 2007."},{"key":"14_CR8","doi-asserted-by":"publisher","first-page":"460","DOI":"10.1109\/ICDCS.1992.235008","volume-title":"Proceedings of the Twelfth International Conference on Distributed Computing Systems","author":"H. Kopetz","year":"1992","unstructured":"H. Kopetz, Sparse time versus dense time in distributed real-time systems, Proceedings of the Twelfth International Conference on Distributed Computing Systems, pp. 460\u2013467, 1992."},{"key":"14_CR9","first-page":"489","volume-title":"Proceedings of the IEEE International Conference on Performance, Computing and Communications","author":"N. Malik","year":"1999","unstructured":"N. Malik, J. Baumgartner, S. Roberts and R. Dobson, A toolset for assisted formal verification, Proceedings of the IEEE International Conference on Performance, Computing and Communications, pp. 489\u2013492, 1999."},{"key":"14_CR10","first-page":"347","volume-title":"Proceedings of the Third International Colloquium on the Theoretical Aspects of Computing","author":"J. Quesel","year":"2006","unstructured":"J. Quesel and A. Schafer, Spatio-temporal model checking for mobile real-time systems, Proceedings of the Third International Colloquium on the Theoretical Aspects of Computing, pp. 347\u2013361, 2006."},{"key":"14_CR11","first-page":"165","volume-title":"Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning","author":"D. Randell","year":"1992","unstructured":"D. Randell, Z. Cui and A. Cohn, A spatial logic based on regions and connection, Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning, pp. 165\u2013176, 1992."},{"key":"14_CR12","first-page":"175","volume-title":"Exploring Artificial Intelligence in the New Millennium","author":"F. Wolter","year":"2002","unstructured":"F. Wolter and M. Zakharyaschev, Qualitative spatiotemporal representation and reasoning: A computational perspective, in Exploring Artificial Intelligence in the New Millennium, G. Lakemeyer and B. Nebel (Eds.), Morgan Kaufmann, San Francisco, California, pp. 175\u2013216, 2002."},{"key":"14_CR13","first-page":"229","volume-title":"Proceedings of the Seventeenth Annual Conference on GIS Research","author":"J. Wood","year":"2009","unstructured":"J. Wood, J. Dykes, A. Slingsby and R. Radburn, Flow trees for exploring spatial trajectories, Proceedings of the Seventeenth Annual Conference on GIS Research, pp. 229\u2013234, 2009."}],"container-title":["IFIP Advances in Information and Communication Technology","Critical Infrastructure Protection VI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35764-0_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,9]],"date-time":"2019-07-09T17:09:42Z","timestamp":1562692182000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35764-0_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642357633","9783642357640"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35764-0_14","relation":{},"ISSN":["1868-4238","1861-2288"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1861-2288"}],"subject":[],"published":{"date-parts":[[2012]]}}}