{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:17Z","timestamp":1761611297262},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540518037"},{"type":"electronic","value":"9783540468110"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-51803-7_35","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T21:16:22Z","timestamp":1330204582000},"page":"375-408","source":"Crossref","is-referenced-by-count":7,"title":["Using temporal logic for prototyping: The design of a lift controller"],"prefix":"10.1007","author":[{"given":"Roger","family":"Hale","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,25]]},"reference":[{"key":"17_CR1","series-title":"Technical Report","volume-title":"Up and Down the Temporal Way","author":"H. Barringer","year":"1985","unstructured":"H. Barringer. Up and Down the Temporal Way. Technical Report UMCS-85-9-3, University of Manchester, Manchester, England, September 1985."},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"H. Barringer, R. Kuiper, and A. Pnueli. A really abstract concurrent model and its temporal logic. In Proceedings of the thirteenth ACM symposium on the principles of programming languages, St. Petersberg Beach, Florida, January 1986.","DOI":"10.1145\/512644.512660"},{"key":"17_CR3","series-title":"Technical Report","volume-title":"HOL: A Proof Generating System for Higher Order Logic","author":"M. J. C. C. Gordon","year":"1987","unstructured":"M. J. C. Gordon. HOL: A Proof Generating System for Higher Order Logic. Technical Report 103, Computer Laboratory, University of Cambridge, England, 1987."},{"key":"17_CR4","first-page":"91","volume-title":"Temporal Logics and Their Applications","author":"R. W. S. S. Hale","year":"1987","unstructured":"R. W. S. Hale. Temporal logic programming. In A. Galton, editor, Temporal Logics and Their Applications, pages 91\u2013119, Academic Press, London, 1987."},{"key":"17_CR5","volume-title":"The Art of Computer Programming: Volume 1","author":"D. E. Knuth","year":"1969","unstructured":"D. E. Knuth. The Art of Computer Programming: Volume 1. Addison-Wesley, London, 1969."},{"key":"17_CR6","first-page":"657","volume-title":"Information Processing 83","author":"L. Lamport","year":"1983","unstructured":"L. Lamport. What good is temporal logic? In R. E. A. Mason, editor, Information Processing 83, pages 657\u2013668, North-Holland, Amsterdam, 1983."},{"key":"17_CR7","volume-title":"Executing Temporal Logic Programs","author":"B. C. Moszkowski","year":"1986","unstructured":"B. C. Moszkowski. Executing Temporal Logic Programs. Cambridge University Press, Cambridge, England, 1986."},{"key":"17_CR8","series-title":"Lecture Notes in Computer Science","volume-title":"Current Trends in Concurrency","author":"A. Pnueli","year":"1983","unstructured":"A. Pnueli. Applications of temporal logic to the specification and verification of reactive systems: a survey of current trends. In J. W. de Bakker, W. P. de Roever, and G. Rozenberg, editors, Current Trends in Concurrency, Lecture Notes in Computer Science, number 224, Springer-Verlag, Berlin, 1983."}],"container-title":["Lecture Notes in Computer Science","Temporal Logic in Specification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-51803-7_35.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:05:43Z","timestamp":1619571943000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-51803-7_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540518037","9783540468110"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-51803-7_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}