{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T01:18:50Z","timestamp":1725671930897},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642288906"},{"type":"electronic","value":"9783642288913"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","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-28891-3_16","type":"book-chapter","created":{"date-parts":[[2012,3,30]],"date-time":"2012-03-30T12:53:01Z","timestamp":1333111981000},"page":"162-167","source":"Crossref","is-referenced-by-count":5,"title":["Temporal Action Language (TAL): A Controlled Language for Consistency Checking of Natural Language Temporal Requirements"],"prefix":"10.1007","author":[{"given":"Wenbin","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jane Huffman","family":"Hayes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Miros\u0142aw","family":"Truszczy\u0144ski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science\u00a0126, 183\u2013235 (1994)","journal-title":"Theoretical Computer Science"},{"key":"16_CR2","unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking. The MIT Press (2008)"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Baral, C., Gelfond, M.: Reasoning agents in dynamic domains. Logic-Based Artificial Intelligence, 257\u2013279 (2000)","DOI":"10.1007\/978-1-4615-1567-8_12"},{"key":"16_CR4","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1109\/32.588520","volume":"23","author":"B. Dutertre","year":"1997","unstructured":"Dutertre, B., Stavridou, V.: Formal requirements analysis of an avionics control system. IEEE Transactions on Software Engineering SE\u00a023, 267\u2013278 (1997)","journal-title":"IEEE Transactions on Software Engineering SE"},{"key":"16_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/978-3-642-02846-5_22","volume-title":"Logic Programming","author":"M. Gebser","year":"2009","unstructured":"Gebser, M., Ostrowski, M., Schaub, T.: Constraint Answer Set Solving. In: Hill, P.M., Warren, D.S. (eds.) ICLP 2009. LNCS, vol.\u00a05649, pp. 235\u2013249. Springer, Heidelberg (2009)"},{"key":"16_CR6","first-page":"193","volume":"2","author":"M. Gelfond","year":"1998","unstructured":"Gelfond, M., Lifschitz, V.: Action languages. Electronic Transactions on Artificial Intelligence (ETAI)\u00a02, 193\u2013210 (1998)","journal-title":"Electronic Transactions on Artificial Intelligence (ETAI)"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Heitmeyer, C.: Software cost reduction. In: Marciniak, J.J. (ed.) Encyclopedia of Software Engineering, 2nd edn. John Wiley & Sons (2002)","DOI":"10.1002\/0471028959.sof307"},{"key":"16_CR8","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1177\/1063293X9700500105","volume":"5","author":"M. Klein","year":"1997","unstructured":"Klein, M.: An exception handling approach to enhancing consistency, completeness and correctness in collaborative requirements capture. Concurrent Engineering Research and Applications\u00a05, 37\u201346 (1997)","journal-title":"Concurrent Engineering Research and Applications"},{"issue":"11","key":"16_CR9","doi-asserted-by":"publisher","first-page":"908","DOI":"10.1109\/32.730542","volume":"24","author":"A.V. Lamsweerde","year":"1998","unstructured":"Lamsweerde, A.V., Darimont, R., Letier, E.: Managing conflicts in goal-driven requirements engineering. IEEE Transactions on Software Engineering\u00a024(11), 908\u2013926 (1998)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"Marek, V., Truszczynski, M.: Stable models and an alternative logic programming paradigm. In: The Logic Programming Paradigm: a 25-Year Perspective, pp. 375\u2013398 (1999)","DOI":"10.1007\/978-3-642-60085-2_17"},{"key":"16_CR11","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1023\/A:1018930122475","volume":"25","author":"I. Niemela","year":"1999","unstructured":"Niemela, I.: Logic programs with stable model semantics as a constraint paradigm. Annals of Mathematics and Artificial Intelligence\u00a025, 241\u2013273 (1999)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"Olderog, E.R., Dierks, H.: Real-Time Systems. CUP (2008)","DOI":"10.1017\/CBO9780511619953"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: Proceedings of the 18th Annual Symposium on Foundations of Computer Science (FOCS), pp. 46\u201357 (1977)","DOI":"10.1109\/SFCS.1977.32"}],"container-title":["Lecture Notes in Computer Science","NASA Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28891-3_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,9]],"date-time":"2020-01-09T07:45:20Z","timestamp":1578555920000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28891-3_16"}},"subtitle":["(Preliminary Results)"],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642288906","9783642288913"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28891-3_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}