{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T02:54:19Z","timestamp":1743044059327,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642277047"},{"type":"electronic","value":"9783642277054"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-27705-4_14","type":"book-chapter","created":{"date-parts":[[2012,1,25]],"date-time":"2012-01-25T12:18:06Z","timestamp":1327493886000},"page":"163-178","source":"Crossref","is-referenced-by-count":0,"title":["Modeling and Validating the Train Fare Calculation and Adjustment System Using VDM++"],"prefix":"10.1007","author":[{"given":"Nguyen","family":"Van Tang","sequence":"first","affiliation":[]},{"given":"Daisuke","family":"Souma","sequence":"additional","affiliation":[]},{"given":"Goro","family":"Hatayama","sequence":"additional","affiliation":[]},{"given":"Hitoshi","family":"Ohsaki","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"810","DOI":"10.1007\/978-3-642-05089-3_52","volume-title":"FM 2009: Formal Methods","author":"J. Bicarregui","year":"2009","unstructured":"Bicarregui, J., Fitzgerald, J.S., Larsen, P.G., Woodcock, J.: Industrial Practice in Formal Methods: A Review. In: Cavalcanti, A., Dams, D.R. (eds.) FM 2009. LNCS, vol.\u00a05850, pp. 810\u2013813. Springer, Heidelberg (2009)"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Chiappini, A., Cimatti, A., Macchi, L., Rebollo, O., Roveri, M., Susi, A., Tonetta, S., Vittorini, B.: Formalization and validation of a subset of the European Train Control System. In: Proc. of ICSE 2010, pp. 109\u2013118. ACM Press (2010)","DOI":"10.1145\/1810295.1810312"},{"key":"14_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/3-540-58555-9_85","volume-title":"FME \u201994: Industrial Benefit of Formal Methods","author":"J.S. Fitzgerald","year":"1994","unstructured":"Fitzgerald, J.S., Brookes, T.M., Green, M.A., Larsen, P.G.: Formal and Informal Specifications of a Secure System Component: First Results in a Comparative Study. In: Naftalin, M., Bertr\u00e1n, M., Denvir, T. (eds.) FME 1994. LNCS, vol.\u00a0873, pp. 35\u201344. Springer, Heidelberg (1994)"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Woodcock, J., Larsen, P.G., Bicarregui, J., Fitzgerald, J.S.: Formal methods: Practice and experience. ACM Comput. Surv.\u00a041(4) (2009)","DOI":"10.1145\/1592434.1592436"},{"key":"14_CR5","volume-title":"Validated Designs for Object oriented Systems","author":"J. Fitzgerald","year":"2005","unstructured":"Fitzgerald, J., Larsen, P.G., Mukherjee, P., Plat, N., Verhoef, M.: Validated Designs for Object oriented Systems. Springer, New York (2005)"},{"issue":"2-3","key":"14_CR6","first-page":"305","volume":"3","author":"P.G. Larsen","year":"2009","unstructured":"Larsen, P.G., Fitzgerald, J.S., Wolff, S.: Methods for the Development of Distributed Real-Time Embedded Systems Using VDM. Int. J. Software and Informatics\u00a03(2-3), 305\u2013341 (2009)","journal-title":"Int. J. Software and Informatics"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"H\u00f6rl, J., Aichernig, B.K.: Validating Voice Communication Requirements Using Lightweight Formal Methods. IEEE Software\u00a017(3) (2000)","DOI":"10.1109\/52.896246"},{"issue":"2-3","key":"14_CR8","first-page":"343","volume":"3","author":"T. Kurita","year":"2009","unstructured":"Kurita, T., Nakatsugawa, Y.: The Application of VDM to the Industrial Development of Firmware for a Smart Card IC Chip. Int. J. Software and Informatics\u00a03(2-3), 343\u2013355 (2009)","journal-title":"Int. J. Software and Informatics"},{"key":"14_CR9","unstructured":"The VDM Tool Group, IFAD. User Manual for the IFAD VDM++ Toolbox. The Institute of Applied Computer Science, Forskerparken 10, 5230 Odense M, Denmark\/Europe, 1.0 edn. (September 1997) Doc.Id.: IFAD-VDM-50"},{"key":"14_CR10","unstructured":"Eriksson, L.: Formal Verification of Railway Interlockings. Swedish National Rail Administration Technical Report 4 (1997)"}],"container-title":["Lecture Notes in Computer Science","Verified Software: Theories, Tools, Experiments"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-27705-4_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,25]],"date-time":"2019-04-25T12:29:26Z","timestamp":1556195366000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-27705-4_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642277047","9783642277054"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-27705-4_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}