{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:44:40Z","timestamp":1725486280850},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540651109"},{"type":"electronic","value":"9783540496465"}],"license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"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":[[1998]]},"DOI":"10.1007\/3-540-49646-7_18","type":"book-chapter","created":{"date-parts":[[2007,6,12]],"date-time":"2007-06-12T05:09:52Z","timestamp":1181624992000},"page":"231-242","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Applying Formal Methods in Industry The UseGat Project"],"prefix":"10.1007","author":[{"given":"Sandro","family":"Bologna","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rocco","family":"Bove","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giovanni","family":"Dipoppa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giorgio","family":"Mongardi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gino","family":"Biondi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carmen","family":"Porzia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benny Graft","family":"Mortensen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Niels","family":"Kirkegaard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,12,14]]},"reference":[{"key":"18_CR1","unstructured":"Software through Picture:Core: Fundamental of StP, Release 2, IDE, February 1996"},{"key":"18_CR2","unstructured":"The IFAD VDM-SL Documentation, March 1996."},{"key":"18_CR3","volume-title":"Strategy for Real-Time System Specification","author":"D.J. Hatley","year":"1997","unstructured":"D.J. Hatley, I.A. Pirbhai: Strategy for Real-Time System Specification Dorset House Publishing New York-1997, ISBN: 0-932633-11-0"},{"key":"18_CR4","unstructured":"CENELEC European Committee for Electro-technical Standardization: Railway Applications: Software for Railway Control and Protection Systems, Draft prEN50128, August 1996"},{"key":"18_CR5","unstructured":"ISO\/IEC 1207 International Standard: Information technology Software life-cycle processes"},{"key":"18_CR6","unstructured":"A. Traverso: A tool for Specification Analysis: Complete Decision Table, SA-FECOMP\u201985"},{"key":"18_CR7","unstructured":"C. Abbaneo, G. Biondi, M. Ferrando, G. Mongardi: Testing of Computer Based Interlocking Software: Methodology and Environment, SAFECOMP\u201992"},{"key":"18_CR8","unstructured":"ISO\/IEC 9126 Information technology-Safety product evaluation-Quality characteristics and guidelines for their use, 1991"}],"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-49646-7_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T13:30:46Z","timestamp":1558272646000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49646-7_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540651109","9783540496465"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-49646-7_18","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]},"assertion":[{"value":"14 December 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}