{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T03:27:43Z","timestamp":1725506863103},"publisher-location":"Boston, MA","reference-count":17,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781402081569"},{"type":"electronic","value":"9781402081576"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-1-4020-8157-6_65","type":"book-chapter","created":{"date-parts":[[2008,4,7]],"date-time":"2008-04-07T16:54:40Z","timestamp":1207587280000},"page":"657-664","source":"Crossref","is-referenced-by-count":0,"title":["Towards a Formal Model of Cyberrail"],"prefix":"10.1007","author":[{"given":"Dines","family":"Bj\u00f8rner","sequence":"first","affiliation":[]},{"given":"Peter","family":"Chiang","sequence":"additional","affiliation":[]},{"given":"Morten S. T.","family":"Jacobsen","sequence":"additional","affiliation":[]},{"given":"Jens Kielsgaard","family":"Hansen","sequence":"additional","affiliation":[]},{"given":"Michael P.","family":"Madsen","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Penicka","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"65_CR1","unstructured":"Dines Bj\u00f8rner. Formal Software Techniques in Railway Systems. In Eckehard Schnieder, editor, 9th IFAC Symposium on Control in Transportation Systems, pages 1\u201312, Braunschweig, Germany, 13\u201315 June 2000. Invited talk."},{"key":"65_CR2","unstructured":"Dines Bj\u00f8rner. Dynamics of Railway Nets: On an Interface between Automatic Control and Software Engineering. In CTS2003: 10th IFAC Symposium on Control in Transportation Systems, Oxford, UK, August 4\u20136 2003. Elsevier Science Ltd."},{"key":"65_CR3","unstructured":"Dines Bj\u00f8rner. New Results and Trends in Formal Techniques for the Development of Software for Transportation Systems. In FORMS2003: Symposium on Formal Methods for Railway Operation and Control Systems. 2003. Budapest, Hungary. Editors: G. Tarnai and E. Schnieder, Germany."},{"key":"65_CR4","unstructured":"Dines Bj\u00f8rner. Software Engineering, volume Vol. 1: Abstraction and Modelling, Vol. 2: Advanced Specification Techniques, Vol. 3: From Domains via Requirements to Software. Springer-Verlag, 2004\u20132005."},{"key":"65_CR5","volume-title":"INT 2004: Third International Workshop on Integration of Specification Techniques for Applications in Engineering","author":"D. Bj\u00f8rner","year":"2004","unstructured":"Dines Bj\u00f8rner, Chris George, Anne E. Haxthausen, Christian Krog Madsen, Steffen Holm-slykke, and Martin Penioka. \u201cUML\u201d-ising Formal Techniques. In INT 2004: Third International Workshop on Integration of Specification Techniques for Applications in Engineering. 28 March 2004, ETAPS, Barcelona, Spain. INT-2004 Proceedings, Springer-Verlag."},{"key":"65_CR6","unstructured":"Dines Bj\u00f8rner, Chris W. George, and S\u00f8ren Prehn. Computing Systems for Railways \u2014 A R\u00f4le for Domain Engineering. Relations to Requirements Engineering and Software for Control Applications. In Integrated Design and Process Technology. Editors: Bernd Kraemer and John C. Petterson, 24\u201328 June 2002. Society for Design and Process Science."},{"key":"65_CR7","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/978-1-4471-0523-7_8","volume-title":"Industrial Strength Formal Methods in Practice","author":"D. Bj\u00f8rner","year":"1999","unstructured":"Dines Bj\u00f8rner, C.W. George, and S. Prehn. Scheduling and Rescheduling of Trains, chapter 8, pages 157\u2013184. Industrial Strength Formal Methods in Practice, Eds.: Michael G. Hinchey and Jonathan P. Bowen. FACIT, Springer-Verlag, London, England, 1999."},{"key":"65_CR8","unstructured":"Dines Bj\u00f8rner, Dong Yu Lin, and S. Prehn. Domain Analyses: A Case Study of Station Management. In KICS\u201994: Kunming International CASE Symposium, Yunnan Province, P.R.ofChina. Software Engineering Association of Japan, 16\u201320 November 1994."},{"key":"65_CR9","unstructured":"Dines Bj\u00f8rner, S\u00f8ren Prehn, and Chris W, George. Formal Models of Railway Systems: Domains. FME Rail Workshop on Formal Methods in Railway Systems, FM\u201999 World Congress on Formal Methods, France."},{"key":"65_CR10","unstructured":"Dines Bj\u00f8rner, S\u00f8ren Prehn, and Chris W. George. Formal Models of Railway Systems: Requirements. FMERail Workshop on Formal Methods in Railway Systems, FM\u201999 World Congress on Formal Methods, France."},{"key":"65_CR11","series-title":"The BCS Practitioner Series","volume-title":"The RAISE Specification Language","author":"C. George","year":"1992","unstructured":"Chris George, Peter Haff, Klaus Havelund, Anne Haxthausen, Robert Milne, Claus Bendix Nielsen, S\u00f8ren Prehn, and Kim Ritter Wagner. The RAISE Specification Language. The BCS Practitioner Series. Prentice-Hall, Hemel Hampstead, England, 1992."},{"key":"65_CR12","series-title":"The BCS Practitioner Series","volume-title":"The RAISE Method","author":"C. George","year":"1995","unstructured":"Chris George, Anne Haxthausen, Steven Hughes, Robert Milne, S\u00f8ren Prehn, and Jan Storbank Pedersen. The RAISE Method The BCS Practitioner Series. Prentice-Hall, Hemel Hampstead, England, 1995."},{"key":"65_CR13","unstructured":"C.A.R Hoare. Communicating Sequential Processes. C.A.R. Hoare Series in Computer Science. Prentice-Hall International, 1985."},{"key":"65_CR14","series-title":"Technical report","volume-title":"Aiming for Passenger Interoperability","author":"T. Ogino","year":"2003","unstructured":"Takahiko Ogino. Aiming for Passenger Interoperability. Technical report, Railway Technical Research Institute, Transport Information Technology Division, Railway Technical Research Institute, 2-8-38 Hikari-cho, Kokubunji-shi, Tokyo, 185-8540 Japan, 2003."},{"key":"65_CR15","series-title":"Technical report","volume-title":"CyberRail: For Urban Mobility Tomorrow","author":"T. Ogino","year":"2004","unstructured":"Takahiko Ogino. CyberRail: For Urban Mobility Tomorrow. Technical report, Railway Technical Research Institute, Transport Information Technology Division, Railway Technical Research Institute, 2-8-38 Hikari-cho, Kokubunji-shi, Tokyo, 185-8540 Japan, 2004."},{"key":"65_CR16","unstructured":"Takahiko Ogino. CyberRail: Information Infrastructure for New Intermodal Transport Business Model. In Topical Days @ IFIP World Computer Congress 2004, IFIP Series. IFIP, Kluwer Academic Press, August 2004."},{"key":"65_CR17","unstructured":"Takahiko Ogino, Koivhi Goto, Ryuji Tsuchiya, Kiyotaka Seki, and Akihiko Matsuoka. CyberRail and its significance in the coming ubiquitous society. In, 2004."}],"container-title":["IFIP International Federation for Information Processing","Building the Information Society"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4020-8157-6_65.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,29]],"date-time":"2021-04-29T05:08:32Z","timestamp":1619672912000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4020-8157-6_65"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9781402081569","9781402081576"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-1-4020-8157-6_65","relation":{},"subject":[]}}