{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:33:36Z","timestamp":1725460416933},"publisher-location":"Boston","reference-count":14,"publisher":"Kluwer Academic Publishers","isbn-type":[{"type":"print","value":"1402079966"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/1-4020-7997-4_2","type":"book-chapter","created":{"date-parts":[[2006,2,17]],"date-time":"2006-02-17T18:51:14Z","timestamp":1140202274000},"page":"25-64","source":"Crossref","is-referenced-by-count":0,"title":["Formal Specifcation and Refinement of a Safe Train Control Function"],"prefix":"10.1007","author":[{"given":"V.","family":"Winter","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.","family":"Kapur","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Fuehrer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"2_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1109\/32.210303","volume":"19","author":"R. W. Butler","year":"1993","unstructured":"R. W. Butler and G. B. Finelli. The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software. IEEE Transactions on Software Engineering, 19(1):3\u201312, 1993.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"C. Brink, W. Kahl, and G. Schmidt (editors). Relational Methods in Computer Science. In Advances in Computing 1997, Springer-Verlag, Wien, 1997.","DOI":"10.1007\/978-3-7091-6510-2"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"D. E. Cooke and V. Kreinovich. Automatic Concurrency in SequenceL. In In Electronic Notes in Theoretical Computer Science, 25, 1999.","DOI":"10.1016\/S1571-0661(04)00128-8"},{"key":"2_CR4","unstructured":"C. Michael Holloway. Why Engineers Should Consider Formal Methods. Proceedings of the 16th Digital Avionics Systems Conference, 1997."},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"R. Janicki, D. Lorge Parnas, and J. Zucker. Tabular Representations in Relational Documents. In Relational Methods in Computer Science, C. Brink & G. (eds.) in cooperation with R. Albrecht, Springer-Verlag, 1996.","DOI":"10.1007\/978-3-7091-6510-2_12"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"D. Kapur and V. Winter. On the Construction of a Domain Language for a Class of Reactive Systems. In In: High Integrity Software, Eds. V. L. Winter and S. Bhattacharya, Kluwer Academic Press, 2001.","DOI":"10.1007\/978-1-4615-1391-9_8"},{"key":"2_CR7","unstructured":"R. L\u00e4mmel, E. Visser, and J. Visser. The Essence of Strategic Programming. Draft, 2003."},{"key":"2_CR8","unstructured":"C. Morgan. Programming from Specifications. Prentice Hall International Series in Computer Science, 1990."},{"issue":"3","key":"2_CR9","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1145\/356914.356917","volume":"15","author":"H. Partsch","year":"1983","unstructured":"H. Partsch and R. Steinbruggen. Program Transformation Systems. ACM Computing Surveys, 15(3):199\u2013236, 1983.","journal-title":"ACM Computing Surveys"},{"key":"2_CR10","series-title":"Technical report","volume-title":"Formal Methods and their Role in the Certification of Critical Systems","author":"J. Rushby","year":"1995","unstructured":"J. Rushby. Formal Methods and their Role in the Certification of Critical Systems. Technical report, Computer Science Laboratory, SRI International, Menlo Park, CA., 1995."},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"M.G.J. van den Brand, M.P.A. Sellink, and C. Verhoef. Current parsing techniques in software renovation considered harmful. In Proceedings of the 6th International Workshop on Program Comprehension, IWPC\u201998, Ischia, Italy, pages 108\u2013117, 1998.","DOI":"10.1109\/WPC.1998.693325"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"V. Winter. An Overview of HATS: A Lanaugage Independent High Assurance Transformation System. Proceedings of the IEEE Symposium on Application-Specific Systems and Software Engineering Technology (ASSET), 1999.","DOI":"10.1109\/ASSET.1999.756772"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"V. L. Winter, D. Kapur, and R. S. Berg. A Refinement-based Approach to Deriving Train Controllers. In: High Integrity Software, Eds. V. L. Winter and S. Bhattacharya, Kluwer Academic Press, 2001.","DOI":"10.1007\/978-1-4615-1391-9_9"},{"key":"2_CR14","first-page":"49","volume":"58","author":"V. L. Winter","year":"2003","unstructured":"V. L. Winter, S. Roach, and G. Wickstrom. Transformation-Oriented Programming: A Development Methodology for High Assurance Software. Advances in Computers, 58:49\u2013116, 2003.","journal-title":"Advances in Computers"}],"container-title":["Formal Methods for Embedded Distributed Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/1-4020-7997-4_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:22:03Z","timestamp":1619554923000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/1-4020-7997-4_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["1402079966"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/1-4020-7997-4_2","relation":{},"subject":[]}}