{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T08:04:42Z","timestamp":1649145882120},"reference-count":14,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2001,8,1]],"date-time":"2001-08-01T00:00:00Z","timestamp":996624000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2014,11,20]],"date-time":"2014-11-20T00:00:00Z","timestamp":1416441600000},"content-version":"vor","delay-in-days":4859,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2001,8]]},"DOI":"10.1016\/s1571-0661(04)00166-5","type":"journal-article","created":{"date-parts":[[2004,1,29]],"date-time":"2004-01-29T10:14:39Z","timestamp":1075371279000},"page":"65-79","source":"Crossref","is-referenced-by-count":1,"title":["Designing a Controller for a Multi-Train Multi-Track System1 1This work was supported by the United States Department of Energy under Contract DEAC04-94AL85000. Sandia is a multiprogram laboratory operated by Sandia Corporation, a Lockheed Martin Company, for the United States Department of Energy."],"prefix":"10.1016","volume":"50","author":[{"given":"Deepak","family":"Kapur","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Victor L.","family":"Winter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raymond S.","family":"Berg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)00166-5_NEWBIB1","doi-asserted-by":"crossref","unstructured":"K.A. Ghosh, B.W. Johnson, and J.A. Profeta, III. A Distributed Safety-Critical System for Real-Time Train Control. Proc. 21st Annual Conf., IEEE Industrial Electronics Society (IECON '95), Florida, Nov. 6-10, 1995, 760\u2013767.","DOI":"10.1109\/IECON.1995.483824"},{"key":"10.1016\/S1571-0661(04)00166-5_NEWBIB2","series-title":"Software Design Methods for Concurrent and Real-Time Systems","author":"Gomaa","year":"1993"},{"key":"10.1016\/S1571-0661(04)00166-5_NEWBIB3","doi-asserted-by":"crossref","unstructured":"C. Heitmeyer. Using SCR to Specify Requirements of the BART Advanced Automated Train Control System. In [14].","DOI":"10.1007\/978-1-4615-1391-9_7"},{"issue":"2","key":"10.1016\/S1571-0661(04)00166-5_NEWBIB4","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/0898-1221(94)00218-A","article-title":"\u201cAn Overview of Rewrite Rule Laboratory (RRL),\u201d","volume":"29","author":"Kapur","year":"1995","journal-title":"J. of Computer and Mathematics with Applications"},{"key":"10.1016\/S1571-0661(04)00166-5_NEWBIB5","doi-asserted-by":"crossref","unstructured":"D. Kapur and V. Winter. On the Construction of a Domain Language for a Class of Reactive Systems. In [14].","DOI":"10.1007\/978-1-4615-1391-9_8"},{"issue":"No. 4","key":"10.1016\/S1571-0661(04)00166-5_NEWBIB6","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1109\/TR.1986.4335469","article-title":"Reliability and Safey Analysis of a Fault-Tolerant Controller","volume":"Vol. R-35","author":"Johnson","year":"1986","journal-title":"IEEE Transactions on Reliability"},{"key":"10.1016\/S1571-0661(04)00166-5_NEWBIB7","unstructured":"C. Lewerentz and T. Lindner. Formal Development of Reactive Systems: Case Study Production Cell. Lecture Notes in Computer Science Vol. 891, Springer-Verlag."},{"key":"10.1016\/S1571-0661(04)00166-5_NEWBIB8","series-title":"Temporal Verification of Reactive Systems: Safety","author":"Manna","year":"1995"},{"key":"10.1016\/S1571-0661(04)00166-5_NEWBIB9","series-title":"Prentice Hall International Series in Computer Science","article-title":"Programming from Specifications","author":"Morgan","year":"1990"},{"key":"10.1016\/S1571-0661(04)00166-5_NEWBIB10","doi-asserted-by":"crossref","unstructured":"V.L. Winter, R.S. Berg, and J. Ringland. Bay Area Rapid Transit District Advance Automated Train Control System Case Study Description. In [14].","DOI":"10.1007\/978-1-4615-1391-9_6"},{"key":"10.1016\/S1571-0661(04)00166-5_NEWBIB11","doi-asserted-by":"crossref","unstructured":"V.L. Winter, D. Kapur, and R.S. Berg. A Refinement-based Approach to Deriving Train Controllers. In [14].","DOI":"10.1007\/978-1-4615-1391-9_9"},{"key":"10.1016\/S1571-0661(04)00166-5_NEWBIB12","doi-asserted-by":"crossref","unstructured":"V.L. 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), March 24-27, 1999.","DOI":"10.1109\/ASSET.1999.756772"},{"key":"10.1016\/S1571-0661(04)00166-5_NEWBIB13","unstructured":"V.L. Winter, D. Kapur, and R.S. Berg. Formal Specification and Refinement of a Safe Train Control Function. Submitted to The Computer Journal (www.sandia.gov\/AST)."},{"key":"10.1016\/S1571-0661(04)00166-5_NEWBIB14","doi-asserted-by":"crossref","unstructured":"V.L. Winter and S. Bhattacharya. High Integrity Software. Kluwer Academic Publishers, 2001. This book contains a collection of articles on the BART Case Study presented at the High Integrity Software (HIS) Conf., Albuquerque, NM, Nov. 1999.","DOI":"10.1007\/978-1-4615-1391-9"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104001665?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104001665?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,15]],"date-time":"2019-02-15T09:53:58Z","timestamp":1550224438000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104001665"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,8]]},"references-count":14,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2001,8]]}},"alternative-id":["S1571066104001665"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)00166-5","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2001,8]]}}}