{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:46:26Z","timestamp":1725551186405},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540664888"},{"type":"electronic","value":"9783540482499"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"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":[[1999]]},"DOI":"10.1007\/3-540-48249-0_35","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T21:13:11Z","timestamp":1269897191000},"page":"410-419","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Formal Specification and Development of a Safety-Critical Train Management System"],"prefix":"10.1007","author":[{"given":"A.","family":"Chiappini","sequence":"first","affiliation":[]},{"given":"A.","family":"Cimatti","sequence":"additional","affiliation":[]},{"given":"C.","family":"Porzia","sequence":"additional","affiliation":[]},{"given":"G.","family":"Rotondo","sequence":"additional","affiliation":[]},{"given":"R.","family":"Sebastiani","sequence":"additional","affiliation":[]},{"given":"P.","family":"Traverso","sequence":"additional","affiliation":[]},{"given":"A.","family":"Villafiorita","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,10,14]]},"reference":[{"key":"35_CR1","unstructured":"A. Chiappini, A. Cimatti, F. Giunchiglia, G. Rotondo, R. Sebastiani, P. Traverso, and A. Villafiorita. Formal Specification of the Radio Block Centre (RBC): First Part. RBC I: Ansaldo-IRST Project Report, December 1998."},{"key":"35_CR2","unstructured":"EEIG-ERTMS Users Group, 25 Avenue De Beaulieu 1160 Brussels, Belgium. Scenarios."},{"key":"35_CR3","unstructured":"EEIG-ERTMS Users Group, 25 Avenue De Beaulieu 1160 Brussels, Belgium. System Requirements Specification."},{"issue":"3","key":"35_CR4","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"Harel. David","year":"1987","unstructured":"David Harel. Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming, 8(3):231\u2013274, June 1987.","journal-title":"Science of Computer Programming"},{"key":"35_CR5","unstructured":"ITU-T. CCITT specification and description language (SDL), March 1993. ITU-T Recommendation Z.100."},{"key":"35_CR6","unstructured":"ITU-T. Message Sequence Chart (MSC), October 1996. ITU-T Recommendation Z.120."},{"key":"35_CR7","unstructured":"VERILOG. ObjectGeode Documentation. Available at \n                    http:\/\/www.verilogusa.com\n                    \n                  ."}],"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-48249-0_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T14:33:27Z","timestamp":1558276407000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48249-0_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664888","9783540482499"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-48249-0_35","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]},"assertion":[{"value":"14 October 1999","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}